coq - The formal proof system

Age	Commit message (Expand)	Author
2020-10-21	Introduce an Ind module in the Names API.	Pierre-Marie Pédrot
2020-10-21	Deprecate the non-qualified equality functions on kerpairs.	Pierre-Marie Pédrot
2020-10-08	Remove occurrences of Parray.reroot.	Guillaume Melquiond
2020-07-21	Turn various anomalies into regular errors in primitive declaration path	Gaëtan Gilbert
2020-07-06	Primitive persistent arrays	Maxime Dénès
2019-11-01	Add "==", "<", "<=" in PrimFloat.v	Erik Martin-Dorel
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	Add primitive float computation in Coq kernel	Guillaume Bertholon
2019-03-11	Remove unused Retroknowledge.Register_inline	Gaëtan Gilbert
2019-02-04	Primitive integers	Maxime Dénès