Lazy conversion add flag to disable first order approximation, use for VM fallback#21735
Draft
SkySkimmer wants to merge 6 commits intorocq-prover:masterfrom
Draft
Lazy conversion add flag to disable first order approximation, use for VM fallback#21735SkySkimmer wants to merge 6 commits intorocq-prover:masterfrom
SkySkimmer wants to merge 6 commits intorocq-prover:masterfrom
Commits
Commits on Mar 10, 2026
- committed
- committed
- committed
- committed
- committed
- committed
