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-09-16	Remove library-specific code for `Import`.	Maxime Dénès
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
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
2012-08-08	Updating headers.	herbelin
2012-07-05	ZArith + other : favor the use of modern names instead of compat notations	letouzey
2011-07-26	Ring2 devient Ncring et la reification par les type classes est partagee	pottier
2011-06-28	Some cleanup of Zdiv and Zquot, deletion of useless Zdiv_def	letouzey
2011-06-10	ring2, cring, nsatz avec type classe avec parametres plus notations	pottier
2011-03-08	syntax for exponents	pottier
2011-02-25	Revert "syntax for exponents"	glondu
2011-02-22	syntax for exponents	pottier
2011-02-22	anneaux commutatifs ou non, reification sans ml	pottier