Skip to content

ExtrOcamlZBigInt: Use shifts/masks to build and match positive values#281

Open
cpitclaudel wants to merge 1 commit into
rocq-prover:masterfrom
cpitclaudel:cpc/positive-shift
Open

ExtrOcamlZBigInt: Use shifts/masks to build and match positive values#281
cpitclaudel wants to merge 1 commit into
rocq-prover:masterfrom
cpitclaudel:cpc/positive-shift

Commits

Commits on Jun 23, 2026