coq - The formal proof system

Age	Commit message (Expand)	Author
2021-02-26	Signed primitive integers	Ana
2020-08-27	[numtok] [zarith] Simplifications	Emilio Jesus Gallego Arias
2020-08-27	[numeral] [plugins] Switch from `Big_int` to ZArith.	Emilio Jesus Gallego Arias
2020-05-09	Add hexadecimal numerals	Pierre Roux
2020-05-09	Rename functions	Pierre Roux
2020-05-09	Add helper function	Pierre Roux
2020-03-22	Adding support for parsing "+" sig in NumTok.	Hugo Herbelin
2020-03-22	Centralizing all kinds of numeral string management in numTok.ml.	Hugo Herbelin
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-04-02	Allow underscores as comments in numeral constants.	Pierre Roux
2019-04-02	Add parsing of decimal constants (e.g., 1.02e+01)	Pierre Roux