Challenges
Speedrun
30 random proofs · No help
The clock keeps running when you leave. Complete all 30 to post your time.
Blue book
Untimed exercises · No help
Rules
Each speedrun has 12 foundation, 12 intermediate, and 6 challenging propositional or predicate proofs. Both modes disable in-app help and count verified answers toward progress. Blue books can be paused; speedruns cannot. Leaderboard scores are honor-based.
Leaderboard
Loading times…