rocq-community / bignumsLinks

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
24Updated 4 months ago

Alternatives and similar repositories for bignums

Users that are interested in bignums are comparing it to the libraries listed below

Sorting: