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

direct proof

Fix an arbitrary object satisfying the hypothesis, then chain justified steps to the conclusion.

A direct proof of $\forall x, P(x)\implies Q(x)$ fixes an arbitrary $x$ satisfying $P(x)$ and derives $Q(x)$ .