smtcoq - Fork of https://github.com/smtcoq/smtcoq.

	Commit message (Expand)	Author	Age	Files	Lines
*	Adding support for lemmas in the command verit	Quentin Garchery	2018-10-28	1	-0/+352
*	formatting	Quentin Garchery	2018-10-27	1	-18/+17
*	Zeq_bool -> Z.eqb	Quentin Garchery	2018-10-27	1	-14/+14
*	Tests for Coq-8.6	Chantal Keller	2017-10-03	1	-0/+2
*	Hopefully solved the problem with universes for the tactic	Chantal Keller	2016-09-28	1	-0/+17
*	Correct parsing of <-> for veriT	Chantal Keller	2016-05-02	1	-0/+6
*	Holes in proof:	Chantal Keller	2016-04-30	1	-0/+37
*	Possibility to embed any Coq proof in certificates (not tested yet)	Chantal Keller	2016-04-29	1	-30/+30
*	Both native-coq and Coq 8.5 are fully supported	Chantal Keller	2016-04-26	1	-18/+14
*	English comments	Chantal Keller	2016-04-26	1	-3/+3
*	Compatibility with native-coq	Chantal Keller	2016-04-26	1	-8/+8
*	- Solved the Coq 8.5 problem relating to declaring section variables	Chantal Keller	2016-04-26	1	-3/+3
*	The simplest test for SMT	Chantal Keller	2016-04-24	1	-0/+13
*	New targets [make vtest] and [make ztest] to perform unit tests for the vario...	Chantal Keller	2016-03-02	1	-0/+862