coq-community/bignums
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
CoqLGPL-2.1
Stargazers
- 5HT@synrc
- acorrensonENS Rennes, Saarland University, CISPA
- anton-trunovTON Foundation
- chanshunliHulunote
- dannypsnl@second-state
- emsr
- erikmdLab. IRIT, Univ. Toulouse 3 Paul Sabatier
- hanlhe@TetrationAnalytics
- HexirpJapan
- hiroki-chenTikTok Inc.
- intoverflowSeattle, WA
- philzook58Draper
- pm5@g0v
- pramit-maratthaAviyel
- RyanCargan
- scott-fleischman
- smondetNew York, NY
- smorimoto@ocaml @tc39
- start974Paris
- unsoundsystemJapan
- vbgl
- VitHubNoCompany