Train proofs like it is a real operating system.
Putnam Proof Trainer turns the historical archive into a focused practice engine. It tracks work, estimates your level, and routes you toward confidence wins, on-level reps, and stretch problems using archived Top N score distributions as calibration data.