Featured in Domain Arrivals · 2026-08-12
Farabi Teaches Logic by Making You Prove It
An interactive formal-logic learning tool with Fitch-style proof checking, truth tables, timed quizzes, and autograding for propositional and first-order logic.
Why it surfacedFarabi checks each proof line as the student writes, catching mistakes such as eigenvariable errors instead of waiting for a final submission. Its public playground works without an account, while courses, assignments, and a gradebook give instructors a practical teaching workflow.
Continue into the edition
Ice Does Not Count
August 12’s newborn domains include a rule-bound archive of enormous sodas, 27 family stories cut from one afternoon, a disaster-supply map with a 24-hour freshness rule, and an ocean bell that rings only when six conditions agree.
This is one of 1,000 discoveries in the 2026-08-12 Domain Arrivals issue.