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

A finite chain of justified claims establishing a conclusion, not a pile of checked examples.

A proof is a finite sequence of statements, each an assumption, a definition, or a valid consequence of earlier statements, ending at the claim being established.