coq - The formal proof system

Age	Commit message (Expand)	Author
2020-09-15	[micromega] Use `minus_one` built-in zarith constant.	Emilio Jesus Gallego Arias
2020-09-15	[micromega] Migrate from num to zarith	Emilio Jesus Gallego Arias
2020-03-25	[ocamlformat] Use doc-comments=before style.	Emilio Jesus Gallego Arias
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-03-04	[micromega] Add numerical compatibility layer.	Emilio Jesus Gallego Arias
2019-12-13	[micromega] Enable ocamlformat.	Emilio Jesus Gallego Arias
2019-11-21	[coq] Untabify the whole ML codebase.	Emilio Jesus Gallego Arias
2019-07-08	[core] [api] Support OCaml 4.08	Emilio Jesus Gallego Arias
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2018-10-09	Refactoring of Micromega code using a Simplex linear solver	Frédéric Besson
2018-06-07	Micromega clean-up	Maxime Dénès
2017-04-27	Disambiguate Polynomial.Hyp and Mfourier.Hyp -> Assum	Gaetan Gilbert
2016-07-03	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey
2016-01-01	Fix typos.	Guillaume Melquiond
2015-10-15	Merge branch 'v8.5'	Pierre-Marie Pédrot
2015-10-13	Fix some typos.	Guillaume Melquiond
2015-05-26	micromega : options to limit proof search	Frédéric Besson
2014-08-25	Correct a spelling mistake	Jason Gross
2014-05-01	Fixing ml-doc.	Pierre-Marie Pédrot
2014-03-03	Fixing some generic equalities in Micromega.	Pierre-Marie Pédrot
2014-03-01	Fixing pervasive comparisons	Pierre-Marie Pédrot
2013-03-13	Restrict (try...with...) to avoid catching critical exn (part 11)	letouzey
2012-11-08	Monomorphized a lot of equalities over OCaml integers, thanks to	ppedrot
2011-05-09	Improved lia + experimental nlia	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-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey