Loading…
Loading…
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.

Update posts
0 postsPosts announcing an update, tagged as patch notes or not
Posts in a game's official Steam news feed that announce an update: tagged as patch notes by the developer, or plainly about a patch or a released update.
News checked every 30 days
Source: Steam Web API, ISteamNews/GetNewsForApp. Full methodology
No posts seen yet.
From the game’s Steam news feed, last checked . An announcement is not a build: games can update without posting. Every public build we saw is on the Builds tab.