coq - The formal proof system

Age	Commit message (Expand)	Author
2019-09-16	Fix #10757: Program Fixpoint uses "exists" for telescopes	Gaëtan Gilbert
2019-07-18	Adding changelog and documentation.	Pierre-Marie Pédrot
2019-07-04	Fix miscellaneous mistakes in unreleased changelog entries.	Théo Zimmermann
2019-06-04	Fix typo in changelog	Enrico Tassi
2019-06-04	[rewrite] Add Morphism syntax made different for module type parameters	Enrico Tassi
2019-06-04	[function] always open a proof when used with `wf` or `measure`	Enrico Tassi
2019-05-28	[elaboration] Bidirectionality hints	Maxime Dénès
2019-05-23	do not parse `\|` as infix in patterns; parse `\|}` as `\|` `}`	Georges Gonthier
2019-05-10	Changelog for PR #10076	Vincent Laporte
2019-05-05	Create categories in changelog.	Théo Zimmermann