Email Gateway (Aug 22 2022 at 13:24): Email Gateway (Aug 22 2022 at 13:24):From: Tobias Nipkow <nipkow@in.tum.de>
The meta theory of the Incredible Proof Machine
Joachim Breitner and Denis Lohner
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.
Check out the Incredible Proof Machine http://incredible.pm/
and come to ITP in Nancy to see the presentation of this work.
smime.p7s
Email Gateway (Aug 22 2022 at 13:24):From: Joachim Breitner <breitner@kit.edu>
Hi,
signature.asc
Last updated: Nov 21 2024 at 12:39 UTC