coq - The formal proof system

Age	Commit message (Expand)	Author
2020-06-14	Update zify documentation	Frédéric Besson
2020-06-14	Update theories/micromega/ZifyBool.v	Frédéric Besson
2020-06-14	[micromega] native support for boolean operators	Frédéric Besson
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
2020-03-03	[zify] efficiency improvements	Frédéric Besson
2020-01-14	[zify] elim let in ML	Frédéric Besson
2019-12-13	[micromega] Enable ocamlformat.	Emilio Jesus Gallego Arias
2019-10-21	Improvements of zify	Frédéric Besson
2019-09-16	Re-implementation of zify	Frédéric Besson