Skip to content

feat: add little-endian numeral notation conversions for positive, N, Z#278

Draft
JasonGross wants to merge 1 commit into
rocq-prover:masterfrom
JasonGross:littleendian-numeral-notation
Draft

feat: add little-endian numeral notation conversions for positive, N, Z#278
JasonGross wants to merge 1 commit into
rocq-prover:masterfrom
JasonGross:littleendian-numeral-notation

feat: add little-endian conversion functions for positive, N, Z

6261f8a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
rocq-core
succeeded Jun 20, 2026 in 1m 7s