Experiment: optimized representation for nat constants (a zarith Z.t values)#21729
Draft
SkySkimmer wants to merge 46 commits intorocq-prover:masterfrom
Draft
Experiment: optimized representation for nat constants (a zarith Z.t values)#21729SkySkimmer wants to merge 46 commits intorocq-prover:masterfrom
nat constants (a zarith Z.t values)#21729SkySkimmer wants to merge 46 commits intorocq-prover:masterfrom
Commits
Commits on Mar 9, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 10, 2026
Commits on Mar 11, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed