About Theorem Cards
Theorem Cards is a single player puzzle game.
Prove theorems by playing cards, just like in a game of solitaire. Your solution is checked by a real theorem prover. Sharpen your math skills by solving thousands of puzzles across six difficulty levels.
Buy Theorem Cards
Frequently Asked Questions
Theorem Cards is a puzzle game. Common tags for Theorem Cards include science, indie, 2d, educational, experimental and others.
Theorem Cards is available on PC, Windows and Linux.
Theorem Cards was developed by Math Sphinx.
Theorem Cards is a single player game.