GitHub repository: rocq-community/bignums
Primary language: Rocq Prover
Description: Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]