Skip to main content

Questions tagged [incredible-proof-machine]

Use this tag for the tool The Incredible Proof Machine. The Incredible Proof Machine is a web-based tool for visually performing formal proofs.

Filter by
Sorted by
Tagged with
7 votes
0 answers
146 views

Could the Incredible Proof Machine work automatically with Metamath if rules of Metamath can be automatically translated into IPM custom logic blocks?

The Incredible Proof Machine (pdf) is a visual means of doing proofs. The Incredible Proof Machine can also be extended to do custom logics (Section 2.7 Custom logics). Metamath has thousands of ...
Guy Coder's user avatar
  • 2,846