Giters

JasonGross / bignums

Coq library of arbitrary large numbers. Provides BigN, BigZ, BigQ that used to be part of Coq standard library

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

The BigNums Library

Coq library of arbitrary large numbers. Provides BigN, BigZ, BigQ that used to be part of Coq standard library.

TODO

  • Documentation
  • Add a Makefile in the tests/ directory

Authors

Copyright INRIA 2007-2017.

Initial Code by Laurent Théry, Benjamin Grégoire, Arnaud Spiwack. Many revisions by Evgeny Makarov and Pierre Letouzey.

License

LGPL 2.1

About

Coq library of arbitrary large numbers. Provides BigN, BigZ, BigQ that used to be part of Coq standard library

License:GNU Lesser General Public License v2.1

Languages

Language:Coq 92.1%Language:OCaml 7.9%Language:Makefile 0.1%