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.