coq - The formal proof system

Branch	Commit message	Author	Age
master	Merge PR #13674: Enhance the performance of the move tactic	coqbot-app[bot]	5 years


Age	Commit message	Author
2021-04-25	Merge PR #13674: Enhance the performance of the move tacticHEAD master	coqbot-app[bot]
2021-04-23	Merge PR #14075: New level of abstraction for streams with (non-canonical) lo...	Pierre-Marie Pédrot
2021-04-23	Merge PR #14158: Provide a reinit data for Ltac2 notations with entry level 4.	coqbot-app[bot]
2021-04-23	Merge PR #14041: Enable canonical fun _ => _ projections.	coqbot-app[bot]
2021-04-23	Merge PR #13965: [abbreviation] user syntax to set interp scope of argument	Pierre-Marie Pédrot
2021-04-23	Merge PR #14161: test-suite: add approve-coqdoc to update all coqdoc output f...	coqbot-app[bot]
2021-04-23	Overlay for elpi.	Hugo Herbelin
2021-04-23	Relying on the abstract notion of streams with location for parsing.	Hugo Herbelin
2021-04-23	Locations: Moving functions Ploc.sub and Ploc.after to loc.ml.	Hugo Herbelin
2021-04-23	LStream: a library for streams with non-canonical locations.	Hugo Herbelin
[...]