coq - The formal proof system

Age	Commit message (Expand)	Author
2021-04-12	[zify] More aggressive application of saturation rules	BESSON Frederic
2021-02-26	Signed primitive integers	Ana
2021-01-18	Fix #13579 (hnf on primitives raises an anomaly)	Pierre Roux
2020-12-15	Modify Numbers/Cyclic/Int63/Int63.v to compile with -mangle-names	Jasper Hugunin
2020-12-02	Merge PR #13275: Put all Int63 primitives in a separate file	Vincent Laporte
2020-12-02	Put all Int63 primitives in a separate file	Pierre Roux
2020-11-16	Explicitly annotate all hint declarations of the standard library.	Pierre-Marie Pédrot
2020-08-09	Bring Int63 notations into line with stdlib	Jason Gross
2020-05-09	Merge PR #12122: Avoid registering as keywords the #... in Primitive	Maxime Dénès
2020-05-04	add order properties about bool	Olivier Laurent
2020-04-19	Fix a typo	Pierre Roux
2020-04-08	Merge PR #11909: Make the level of ≡ in Int63 consistent with =	Hugo Herbelin
2020-03-25	Make the level of ≡ in Int63 consistent with =	Jason Gross
2020-03-24	[stdlib] Do not rely on failing “auto”	Vincent Laporte
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-10-31	Merge PR #10983: QArith, Lia: depend on ZArith_base rather than on ZArith	Pierre-Marie Pédrot
2019-10-31	lia: depend only on ZArith_base	Vincent Laporte
2019-10-30	Numbers.Cyclic: use “lia” rather than “omega”	Vincent Laporte
2019-07-29	Add a non-overflow precondition to diveucl_21 to align it on standard impleme...	thery
2019-07-25	[Int63] Remove redundant misnamed lemma lsr_add_distr	Vincent Laporte
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-05-03	[primitive integers] Make div21 implems consistent with its specification	Pierre Roux
2019-02-04	Primitive integers	Maxime Dénès