coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of dev/doc/proof-engine.md

June 2022

coqbot-app[bot]
Merge PR #16084: Proof engine doc
committed
Tanaka Akira
Fix code example in proof-engine.md.
committed

May 2019

Théo Zimmermann
Merge PR #10203: Fixing typos - Part 1
committed
JPR
Fixing typos - Part 1
committed

November 2018

Pierre-Marie Pédrot
Merge PR #8809: [dev doc] Update proof engine docs, fixes #6640
committed
Emilio Jesus Gallego Arias
[dev doc] Update proof engine docs, fixes #6640
committed

July 2017

William Lawvere
Merge remote-tracking branch 'upstream/trunk' into trunk
committed

June 2017

Maxime Dénès
Merge PR#622: Change the default flag value for Refine.refine
committed
Pierre-Marie Pédrot
Dualize the unsafe flag of refine into typecheck and make it mandatory.
committed

April 2017

Pierre-Marie Pédrot
Merge branch 'master' into econstr
committed
Maxime Dénès
Merge PR#488: Adding a documentation for the new proof engine.
committed
Pierre-Marie Pédrot
Adding a documentation for the new proof engine.
committed