SUPPONO

What it is

Every puzzle is a statement to prove. You start with a few facts on the board, pick up the rules of logic as tools — join two facts with and, carry a result out of an assumption, rule a case out — and build your way, step by step, to the goal.

No symbols to learn first. A guide shows each new rule by playing it in front of you, and the game only ever lets you make a move that really follows.

In the game

• The tutorial: 13 sections, from joining two facts to truth and falsehood — 86 exercises.
• Together: play on one board with friends on the same Wi-Fi.
• The feed: solve puzzles other players made, vote on them, and post your own once you have cleared every section.
• Every day: a puzzle of the day, and a streak run that deals one puzzle after another.
• Ripples: earn credits by solving, and collect the wave that sweeps the board as you move between rooms.
• In English, 한국어, 日本語, 简体中文, 繁體中文, Español, Português, Deutsch, Français and Русский.

Where the puzzles come from

The tutorial's exercises are ported from Terence Tao's QED, an interactive introduction to logic, under its MIT licence. Suppono turns them into a game you can play with your hands and with other people.