Free public beta until December 4, 2026: every course is open, no card needed. After that, the first chapter of each course stays free and full access is a one-time $39 ($19 for up to 100 founding members chosen for helpful feedback). Your progress is kept. How the beta works

proof by cases

Split the domain into exhaustive cases, and prove the claim within each one.

A proof by cases splits a claim's domain into exhaustive cases, then proves the claim separately in each.