coq - The formal proof system

Age	Commit message (Expand)	Author
2020-02-13	[build] Consolidate stdlib's .v files under a single directory.	Emilio Jesus Gallego Arias
2019-11-25	Nsatz: use “lia” rather than “omega”	Vincent Laporte
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-01-24	Make `Instance` without a body always open a proof.	Maxime Dénès
2018-03-07	[stdlib] Do not use “Require” inside sections	Vincent Laporte
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2017-04-20	Fix nsatz not recognizing real literals.	Guillaume Melquiond
2016-07-05	Bug fix : variable capture in ltac code of Nsatz	thery
2016-01-20	Update copyright headers.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2013-08-23	Fixing an incompleteness of the ring/field tactics	amahboub
2013-05-05	Little fix for Nsatz: hypotheses not directly relevant to the nsatz	herbelin
2013-01-18	Unset Asymmetric Patterns	pboutill
2012-08-08	Updating headers.	herbelin
2012-07-05	More cleanup in Ring_polynom and EnvRing	letouzey
2012-07-05	ZArith + other : favor the use of modern names instead of compat notations	letouzey
2011-08-04	moins de reification inutile, noatations standards	pottier
2011-07-26	Ring2 devient Ncring et la reification par les type classes est partagee	pottier
2011-06-16	Tests de nsatz avec la geometrie	pottier
2011-06-10	ring2, cring, nsatz avec type classe avec parametres plus notations	pottier
2010-11-18	Some more revision of {P,N,Z}Arith + bitwise ops in Ndigits	letouzey
2010-07-28	unification des tactiques nsatz pour R Z avec celle des anneaux integres	pottier