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-11-18	[micromega] Optimised cnf in case an hypothesis is trivially False.	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-09-16	Re-implementation of zify	Frédéric Besson
2019-09-04	Merge PR #10577: Fix #7348: extraction of dependent record projections	Maxime Dénès
2019-08-26	Make kernel parametric on the lowest universe and fix #9294	Matthieu Sozeau
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-11-16	Fix micromega.ml to match generated file and enforce match in make.	Gaëtan Gilbert
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
2012-09-14	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia
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-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
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