Discover Open Source Apps, Apps with Code, iOS Apps with Code, Android Apps with Code, Games with Code

Platform:

Language:

License:

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used t

Coq22lgpl-2.1

4 months ago

coqcoq-cicoq-platform