coq - The formal proof system

Age	Commit message (Expand)	Author
2020-08-27	[numeral] [plugins] Switch from `Big_int` to ZArith.	Emilio Jesus Gallego Arias
2020-05-19	[primitive floats] Add low level hexadecimal printing	Pierre Roux
2020-05-09	Add hexadecimal numerals	Pierre Roux
2020-05-09	Rename functions	Pierre Roux
2020-03-26	Print a warning when parsing non floating-point values.	Pierre Roux
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-11-01	Parsing primitive float constants	Pierre Roux