aboutsummaryrefslogtreecommitdiff
path: root/theories/Numbers/AltBinNotations.v
AgeCommit message (Expand)Author
2018-08-31Fix numeral notation for a rebase on top of masterJason Gross
2018-08-31Numeral Notation for natPierre Letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 21:49:27 +0000