Observed arrival · 2026-09-28
Suppono turns proof rules into a puzzle game
Suppono is a logic-puzzle game where players build proofs by applying rules to statements on a board.
○Open
⊠Login
$Paid
†Ads
✦Pretty
●Pro
◎Niche
◉Human
⚑Risk
ƒJS
- For
- Logic learners and proof-puzzle players
- Worth noticing
- The tutorial has 13 sections and 86 exercises, adapted from Terence Tao’s QED under its MIT licence.
Field notes
The board starts with a few facts, and players apply rules such as joining facts with “and” or carrying a result out of an assumption. The page says invalid logical moves are not allowed, and a guide demonstrates each new rule. Cooperative play is listed for friends on the same Wi-Fi; posting to the puzzle feed becomes available after all tutorial sections are cleared.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
○OpenPublic substance visible
✦PrettyNotable craft visible
●ProPolished or operationally mature
◎NicheUnusually specific use
One card from the complete issue