STEAM CATALOGUE

Theorem Cards

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.

Store genres

Indie · Strategy

Platforms

Windows · Linux

Upcoming release

View on Steam

Store metadata may change. Confirm current availability and requirements on Steam. Store genres are not community tags.