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-12-17	[micromega] fix efficiency regression	Frédéric Besson
2019-10-31	lia: depend only on ZArith_base	Vincent Laporte
2019-10-22	ZMicromega: do not use “omega”	Vincent Laporte
2019-10-21	Improvements of zify	Frédéric Besson
2019-09-16	Re-implementation of zify	Frédéric Besson
2019-08-26	Make kernel parametric on the lowest universe and fix #9294	Matthieu Sozeau
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-05-22	Partly revert micromega parsing using typeclasses.	Frédéric Besson
2019-04-01	Several improvements and fixes of Lia	Frédéric Besson
2018-10-09	Refactoring of Micromega code using a Simplex linear solver	Frédéric Besson
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2016-05-19	Micromega: qualify Coq.micromega.Tauto (avoid coqdep warnings about new Init/...	Pierre Letouzey
2016-01-20	Update copyright headers.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2014-09-27	Keyed unification option, compiling the whole standard library	Matthieu Sozeau
2014-05-06	This commit adds full universe polymorphism and fast projections to Coq.	Matthieu Sozeau
2013-01-18	Unset Asymmetric Patterns	pboutill
2012-08-08	Updating headers.	herbelin
2012-07-05	ZArith + other : favor the use of modern names instead of compat notations	letouzey
2011-06-24	Numbers: a particular case of div_unique	letouzey
2011-05-20	added support to handle division by a constant over R	fbesson
2011-05-09	Improved lia + experimental nlia	fbesson
2011-05-05	Modularization of BinInt, related fixes in the stdlib	letouzey
2011-05-05	Modularization of BinNat + fixes of stdlib	letouzey
2011-05-05	Definitions of positive, N, Z moved in Numbers/BinNums.v	letouzey
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-09-09	Znumtheory + Zdiv enriched with stuff from ZMicromega, misc improvements	letouzey
2009-08-20	new csdp cache + improved error message	fbesson
2009-07-30	micromega : Better parsing of formulae - smaller proof terms for Z - redesign...	fbesson
2009-03-28	ZMicromega: useless dependency toward ZArith.Int	letouzey
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey