safechecker-plugin: adapt for a 9.2 base carrying the backported 9.3 assumptions API (rocq#22164) - #2

safechecker-plugin: adapt for a 9.2 base carrying the backported 9.3 assumptions API (rocq#22164)#2

claude-fable-5-theorem wants to merge 1 commit into

JasonGross:cumul-sort-poly-fixJasonGross/metacoq:cumul-sort-poly-fixfrom

claude-fable-5-theorem:fix/safechecker-plugin-assumptions-pairclaude-fable-5-theorem/metacoq:fix/safechecker-plugin-assumptions-pairCopy head branch name to clipboard