coq - The formal proof system

Age	Commit message (Expand)	Author
2018-11-05	Port to coqpp.	Pierre-Marie Pédrot
2018-11-02	Fix for coq/coq#8515 (command driven attributes)	Gaëtan Gilbert
2018-10-31	Revert "Merge pull request #13 from herbelin/master+adapt-coq8718-declaration...	Yves Bertot
2018-10-30	Adapting to Coq PR #8718: declare_definition now takes a UState.t.	Hugo Herbelin
2018-10-11	[coq] Adapt for PR #8704.	Emilio Jesus Gallego Arias
2018-10-01	adapts to master on Oct. 1st 2018, but warnings remain	Yves Bertot
2018-05-28	Use user printer for terms instead of debug printer	Maxime Dénès
2018-05-17	[tuto1] Minor fixes to comments	Enrico
2018-05-09	typo	Yves Bertot
2018-05-07	adds a copy of the show_proof command	Yves Bertot
2018-05-04	adds an explanation to Cmd8	Yves Bertot
2018-05-04	adds a comment in simple_print.ml and a plugin declaration in g_tuto1.ml4	Yves Bertot
2018-05-04	Now a command to access the value of a constant	Yves Bertot
2018-05-04	finished type-checking examples	Yves Bertot
2018-05-04	follows G. Gilbert's suggestion to have polymorphism following a flag	Yves Bertot
2018-05-04	A modified version that includes code proposed by G. Gilbert	Yves Bertot
2018-05-04	This revision contains a simple Check command.	Yves Bertot
2018-05-03	little cleanup on the defining command, and question in comments	Yves Bertot
2018-05-03	This version contains a simple command that defines a new constant	Yves Bertot
2018-05-02	first examples of commands taking arguments	Yves Bertot