coq - The formal proof system

Age	Commit message (Expand)	Author
2020-06-20	Add a pre-hook mechanism for the `zify` tactic	Kazuhiko Sakaguchi
2020-06-14	Update zify documentation	Frédéric Besson
2020-06-14	fix according to review by @pi8027	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-05-09	Merge PR #11990: [micromega] use Coqlib.lib_ref to get Coq constants.	Maxime Dénès
2020-04-30	[zify] add support for Nat.le, Nat.lt and Nat.eq	Frédéric Besson
2020-04-17	ZArith: move lia hints to a dedicated module	Vincent Laporte
2020-04-03	Avoiding using a fixed introduction name in Ltac code of stdlib.	Hugo Herbelin
2020-04-01	[micromega] use Coqlib.lib_ref to get Coq constants.	Frédéric Besson
2020-03-21	Add module ZifyPow to avoid compatibility issue with 8.11.	Théo Zimmermann
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-03-03	[zify] efficiency improvements	Frédéric Besson
2020-02-13	[build] Consolidate stdlib's .v files under a single directory.	Emilio Jesus Gallego Arias