coq - The formal proof system

Age	Commit message (Expand)	Author
2020-11-18	[micromega] Simplex uses alternatively Gomory cuts and case splits	BESSON Frederic
2020-06-14	[micromega] native support for boolean operators	Frédéric Besson
2019-12-17	[micromega] fix efficiency regression	Frédéric Besson
2019-12-13	[micromega] Enable ocamlformat.	Emilio Jesus Gallego Arias
2019-09-16	Re-implementation of zify	Frédéric Besson
2019-07-31	Fix #7348: extraction of dependent record projections	Kazuhiko Sakaguchi
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
2017-06-12	Store plugins/micromega/micromega.{ml,mli} files in the repository. Try to ge...	Matej Košík
2017-06-01	extract "plugins/micromega/micromega.ml{,i}" files from "plugins/micromega/ME...	Matej Kosik
2016-09-07	micromega : more robust generation of proof terms	Frédéric Besson
2011-05-20	added support to handle division by a constant over R	fbesson
2011-05-09	Improved lia + experimental nlia	fbesson
2009-09-18	micromega: better handling of exponentiation + correction of test-suite termi...	fbesson
2009-07-30	micromega : Better parsing of formulae - smaller proof terms for Z - redesign...	fbesson
2009-03-29	Micromega: improvement of the code obtained by extraction	letouzey
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey