This is a game to show off the Lean theorem prover. It goes into simple proofs of theorems in propositional logic, both using tactics and definitions.
A version of this game is hosted on my server
This is a game to show off the Lean theorem prover. It goes into simple proofs of theorems in propositional logic, both using tactics and definitions.
A version of this game is hosted on my server