coq - The formal proof system

Age	Commit message (Expand)	Author
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 headers of files that were stuck on older headers.	Théo Zimmermann
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