coq - The formal proof system

Age	Commit message (Expand)	Author
2018-07-26	Improved chapters 'Implicit Coercions' and 'Canonical Structures' of the Refe...	Zeimer
2018-05-15	[doc] Address feedback on doc writer guide	Clément Pit-Claudel
2018-05-09	[sphinx] Fix new warnings related to tacn, cmd, opt...	Théo Zimmermann
2018-05-05	Clean-up around cmd documentation.	Théo Zimmermann
2018-05-05	Fix error messages and make them consistent.	Théo Zimmermann
2018-05-05	Fix typo in Coercions chapter.	Théo Zimmermann
2018-04-16	[Sphinx] Clean-up indices	Maxime Dénès
2018-04-16	[Sphinx] Fix a lot of references and description of options	Maxime Dénès
2018-04-14	[Sphinx] Fix all remaining warnings.	Maxime Dénès
2018-04-14	[sphinx] Fix many warnings.	Théo Zimmermann
2018-03-29	[Sphinx] Add chapter 18	Maxime Dénès
2018-03-29	[Sphinx] Move chapter 18 to new infrastructure	Maxime Dénès