Features
Everything on ProofAnvil
Practice, exam prep, proof tools and free calculators, all in one place. Items marked Free work without an account.
Get ready for an exam
Every course has exam prep built in.
Exam prep
Print a unit's problems with full solutions, or sit a practice final that covers the whole course.
Open any course and choose Exam prep.
Finals planner
Browse your courses and make a study plan for finals week.
Timed finals
Sit a full course final against the clock. Available for selected upper-division courses.
Practise
Over 12,800 original problems with hints and full solutions.
Training
Work one problem at a time with hints when you're stuck, then check your answer or compare with the solution.
Press ? in Training to see the keyboard shortcuts.
Practice set builder
Choose a course, the topics you want and how long you have. Get a set made for that session.
Problem libraryFree
Browse and search every problem by course, topic and difficulty.
Skills map
See every skill in a course, how you're doing on each, and drill your weakest one in one tap.
Reviews
Problems come back for another go just as you're about to forget them.
Learn to write proofs
Build the structure of a proof before you write it out.
Proof BlocksFree
Arrange the lines of a proof into the right order and check the structure.
Survival mode
Work through every Proof Block in a course, from easiest to hardest. Three wrong answers and the run ends.
Free tools
Open in your browser, no account needed.
Probability explorerFree
Move the parameters of fourteen distributions and watch the pmf, pdf and cdf change, with exact probabilities and a live simulation.
Statistics labFree
Draw thousands of samples and watch the central limit theorem, confidence intervals, hypothesis tests and regression at work.
Statistical tablesFree
Normal, t, chi-square and F tables, with a lookup for any value, area or degrees of freedom.
Counting toolkitFree
Exact binomial and multinomial coefficients, Stirling, Bell and Catalan numbers, derangements and partitions.
Formula sheetsFree
One-page formula sheets for a course, with a quick drill to make them stick.
Make it yours
Small things that make studying here nicer.
Use ProofAnvil with your AIFree
Copy one prompt into Claude, ChatGPT, Gemini or any assistant you use, and it can find practice that matches your class.
ThemesFree
Fourteen colour themes, light and dark. Preview each one on the whole page before you keep it.
Press T anywhere, or tap the colour dot in the top bar.
What we're building
See what's new, what's in progress and what's coming next.