Natural deduction practice

Learn to prove things, one line at a time.

Work through 50 Fitch-style proofs, from conjunction swaps to quantifier puzzles. Every line is checked as you type, and every proof you solve is saved to your profile.