coq - The formal proof system

Age	Commit message (Expand)	Author
2020-07-06	Primitive persistent arrays	Maxime Dénès
2020-07-01	UIP in SProp	Gaëtan Gilbert
2019-11-14	Merge PR #11100: small documentation fixes	Théo Zimmermann
2019-11-14	doc fixes	Antonio Nikishaev
2019-11-04	Cite POPL19 SProp paper	Gaëtan Gilbert
2019-11-03	Elan → Stratego in documentation of `rewrite_strat`.	Robbert Krebbers
2019-05-07	Integrate build and documentation of Ltac2	Maxime Dénès
2019-02-28	Add DOIs.	Théo Zimmermann
2019-02-28	Move content of README-V1-V5 to Credits chapter.	Théo Zimmermann
2018-09-23	Documentation for proof diffs	Jim Fehrle
2018-09-20	[doc] Remove unneeded backslashes in biblio.bib	Clément Pit-Claudel
2018-08-16	Merge PR #8198: Fix broken link.	Maxime Dénès
2018-08-01	Fix broken link.	Daniel R. Grayson
2018-08-01	Improved grammar and spelling in the remaining chapters of the Reference Manual.	Zeimer
2018-06-20	Mention Company-Coq as well.	Théo Zimmermann
2018-06-20	Add a good reference for Proof-General as suggested by Clément.	Théo Zimmermann
2018-06-20	Modernize the introduction of the reference manual.	Théo Zimmermann
2018-05-23	Fix #7576: broken link for Delahaye paper.	Théo Zimmermann
2018-05-23	Remove unused references from biblio.	Théo Zimmermann
2018-05-10	Suggest going to /documentation to see a list of tutorials.	Théo Zimmermann
2018-04-16	[Sphinx] Clean-up indices	Maxime Dénès
2018-04-14	[Sphinx] Fix all remaining warnings.	Maxime Dénès
2018-03-22	[Sphinx] Add chapter 21	Maxime Dénès
2018-03-13	[Sphinx] add bibliography	Maxime Dénès