Incredible Proof Machine (Q40554)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Incredible_Proof_Machine
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Incredible Proof Machine |
AFP entry Incredible_Proof_Machine |
Statements
Joachim Breitner
0 references
Denis Lohner
0 references
The Incredible Proof Machine is an interactive visual theorem prover which represents proofs as port graphs. We model this proof representation in Isabelle, and prove that it is just as powerful as natural deduction.
0 references
20 May 2016
0 references
The meta theory of the Incredible Proof Machine (English)
0 references
