177605673
8 hours
0 recent
A nice game about math proofs. If you enjoy puzzles or math, I would recommend trying it.
It is similar to games like "Natural Number Game" and others that use the Lean proof assistant, but it is way easier to pick up and has way more intuitive controls
