The incredible proof machine is a game with a collection of theorems for classical propositional logic, classical first-order logic, and the simply typed lambda calculus.
Example (think Visio)
Greg Nisbet
- 3.6k
- 8
- 34