Skip to main content

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.