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

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