Tag
The Incredible Proof Machine is a visual tool for performing proofs in various logics by dragging and connecting blocks. It aims to make theorem proving accessible and fun without needing syntax of traditional provers.