coq - The formal proof system

Age	Commit message (Expand)	Author
2020-04-15	[proofs] Move pfedit to `proofs`	Emilio Jesus Gallego Arias
2020-04-15	[proof] Move proof_global functionality to Proof_global from Pfedit	Emilio Jesus Gallego Arias
2020-03-19	[pfedit] Labelize sign parameter	Emilio Jesus Gallego Arias
2020-03-19	[declare] Remaining bits on the consistency of UState.t naming	Emilio Jesus Gallego Arias
2020-03-19	[declare] Remove one use of inline_private_constants	Emilio Jesus Gallego Arias
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-10-30	Merge PR #10681: [declare] Make `proof_entry` a private type.	Pierre-Marie Pédrot
2019-10-29	Show diffs in "Show Proof."	Jim Fehrle
2019-10-29	[declare] Make `proof_entry` a private type.	Emilio Jesus Gallego Arias
2019-08-27	[declare] Move proof_entry type to declare, put interactive proof data on top...	Emilio Jesus Gallego Arias