bignums
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
22 stars
15 watching
22 forks
Language: Coq
last commit: 2 months ago
Linked from 2 awesome lists
coqcoq-cicoq-platformcoq-plugindocker-coq-actionlarge-numbers
uhub/awesome-coq