Adapt to https://github.com/rocq-community/micromega-plugin/pull/1 (tify)#251
Open
fajb wants to merge 12 commits intorocq-prover:masterfrom
Open
Adapt to https://github.com/rocq-community/micromega-plugin/pull/1 (tify)#251fajb wants to merge 12 commits intorocq-prover:masterfrom
fajb wants to merge 12 commits intorocq-prover:masterfrom
Commits
Commits on Apr 6, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 13, 2026
- committed
- committed
- authored andcommitted
