coq - The formal proof system

Age	Commit message (Expand)	Author
2020-12-02	Put all Int63 primitives in a separate file	Pierre Roux
2020-08-09	Bring Float notations in line with stdlib	Jason Gross
2020-06-08	Fix 12483	Pierre Roux
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-02-26	Consolidate int63-related notations	Maxime Dénès
2019-11-01	Fix ldshiftexp	Pierre Roux
2019-11-01	docs: Add refman+stdlib documentation	Erik Martin-Dorel
2019-11-01	Add "==", "<", "<=" in PrimFloat.v	Erik Martin-Dorel
2019-11-01	Pretty-printing primitive float constants	Erik Martin-Dorel
2019-11-01	Parsing primitive float constants	Pierre Roux
2019-11-01	Add next_{up,down} primitive float functions	Pierre Roux
2019-11-01	Implement classify on primitive float	Pierre Roux
2019-11-01	Change return type of primitive float comparison	Pierre Roux
2019-11-01	Put axioms on ldshiftexp and frshiftexp	Guillaume Bertholon
2019-11-01	Add Floats to standard library	Guillaume Bertholon