coq - The formal proof system

Age	Commit message (Expand)	Author
2019-06-09	[proof] Move proofs that have an associated constant to `Lemmas`	Emilio Jesus Gallego Arias
2019-06-08	Fix #10339: Anomaly in Ltac2.	Pierre-Marie Pédrot
2019-06-06	[Ltac2] Interpretation scopes in “constr” arguments of tactic notations	Vincent Laporte
2019-06-04	Rename Proof_global.{pstate -> t}	Gaëtan Gilbert
2019-06-04	coqpp: add new ![] specifiers for structured proof interaction	Gaëtan Gilbert
2019-06-04	Proof_global: pass only 1 pstate when we don't want the proof stack	Gaëtan Gilbert
2019-05-22	[Ltac2] Add util files for Bool, List, Option	Jason Gross
2019-05-23	Fixing typos - Part 2	JPR
2019-05-21	Fixing typos - Part 1	JPR
2019-05-14	Merge PR #10125: Allow run_tactic to return a value, remove hack from ltac2	Pierre-Marie Pédrot
2019-05-14	Merge PR #10136: [ltac2] Add primitive integers	Pierre-Marie Pédrot
2019-05-14	Allow run_tactic to return a value, remove hack from ltac2	Gaëtan Gilbert
2019-05-10	[ltac2] Add primitive integers	Pierre Roux
2019-05-10	Make the check flag of conversion functions mandatory.	Pierre-Marie Pédrot
2019-05-07	Integrate build and documentation of Ltac2	Maxime Dénès