Zeitschriftenartikel: The meta theory of the Incredible Proof Machine

[breitner16incredible_afp]

Joachim Breitner, Denis Lohner, The meta theory of the Incredible Proof Machine, Archive of Formal Proofs, May 2016. Formal proof development

Zusammenfassung

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.

Download

[Link]

BibTeX

@article{breitner16incredible_afp,
  title = {The meta theory of the Incredible Proof Machine},
  year = {2016},
  month = may,
  journal = {Archive of Formal Proofs},
  author = {Joachim Breitner and Denis Lohner},
  note = {Formal proof development},
  url = {http://isa-afp.org/entries/Incredible\_Proof\_Machine.shtml},
}

Institutsinterne Autoren

Ehemalige Mitarbeiter
Dr. rer. nat. Joachim Breitner
Dipl.-Inform. Denis Lohner