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.

Public builds
—No reading yet
Counted once we have watched for 90 days (since 27 Oct 2026)
Distinct builds deployed to a game's public (default) Steam branch, as Steam's client network describes them.
Checked within minutes of each Steam change. Observed since 27 Oct 2026.
Source: Steam client network (PICS), App info, public branch. Full methodology
Latest public build
None seen yetUpdate posts
0 postsPosts announcing an update, tagged 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.
Source: Steam Web API, ISteamNews/GetNewsForApp. Full methodology
Typical gap between builds
Not enough builds yetNo public build seen yet.
From Steam’s client network, last checked . Builds before 27 Oct 2026, when we started watching, aren't listed. Patch notes are the developer’s update post from an hour before to a day after the build. Not every build gets one. How we count
No update posts from before 27 Oct 2026 found yet.
Steam keeps no record of past build numbers, so before 27 Oct 2026 a game’s update history comes from its own Steam news: posts tagged as patch notes, and untagged posts that plainly announce a patch or a released update. Older posts are still being read in, most played games first. How we count