coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
	Add headers to a few files which were missing them.
2020-03-04	[micromega] Add numerical compatibility layer.	Emilio Jesus Gallego Arias
	Only significant change is in gcd / lcm which now are typed in `Z.t`
2019-12-13	[micromega] Enable ocamlformat.	Emilio Jesus Gallego Arias

2019-06-17	Update ml-style headers to new year.	Théo Zimmermann

2018-06-07	Micromega clean-up	Maxime Dénès
	We add .mli files, removed dead code and use standard combinators instead of redefined ad-hoc ones in a few places. A lot of cleaning still has to be done on this code: documenting the interfaces, resolving the many abstraction leaks. I suspect there is still a lot of code duplication.