Roadmap
What we’re building
ProofAnvil is under active development, with changes shipping most days. Here’s what’s new, what’s in progress and what’s coming.
Updated October 17, 2026
- Recently shipped
Live on the site now.
Survival mode
Work through every Proof Block in a course, from easiest to hardest. Three wrong answers and the run ends. See how far you get.
Use ProofAnvil with your AI
Copy one prompt into Claude, ChatGPT, Gemini or any assistant you use. It can find your course, pull practice on the topic you're stuck on and match problems to your own class notes.
Over 12,800 original problems
Across 70 courses, with new Mathematical Statistics II problems added most days.
Quick theme switcher
Press T to preview every theme on the whole page and keep the one you like.
Rounded-answer feedback
Answer checks tell you when your number is right but rounded, instead of just marking it wrong.
- Building now
Work in progress this month.
Proof Blocks in more courses
Live in Real Analysis and Linear Algebra. Mathematical Statistics is next, with many more blocks per course.
More courses
Broader coverage across mathematics, physics and engineering, starting with the courses students ask for most.
Your AI, linked to your account
Let your assistant see your courses and progress, read-only, so it can build a study plan around your exam date and what you've already practised.
- Up next
Planned and designed; not started in code yet.
Integration Nation
One home for calculus students, from limits to series, with AP Calculus and multivariable included. It starts with the topic everyone dreads: every integration technique, with practice to match.
Technique Triage
See an integral and pick the method in five seconds: u-substitution, by parts, partial fractions or trig substitution. Get fast at the step that trips everyone up.
The Daily Integral
One calculus problem a day, the same for everyone. Solve it, then share your result without spoilers.
AP answer check
When your answer is right but would lose a point on the AP exam, we tell you why: units, rounding to three decimals, a missing +C or dropped parentheses.
Error Hunt
A worked solution with one mistake hidden in it. Find the line where it goes wrong.
Graduate courses
Problem sets for first-year graduate analysis, algebra, probability and statistics.
Anki decks
Export definitions, theorems and key moves from a course as a ready-made deck.
Full lecture notes
Downloadable PDF notes for each course, written to match the problems.
- Later
On the list, after the work above.
Line Checker
Type your working one line at a time. We show the first line where your algebra stops matching the line before, without solving it for you.
Textbook Section Map
Using Stewart, Thomas or OpenStax? Pick your book and section and get practice that matches it.
Justify It
Build the sentence that earns the AP justification point, then see which pieces the grader requires.
A gentler study streak
A streak that understands real life: two rest days banked, exam week protected, and no guilt notifications.
Printable worksheets
Print any practice set as a clean worksheet, then scan its code to check your answers on your phone.
Class links for teachers
Share one link and a class practises the same set. Teachers see which problems the class missed most.
Lean Proof Explorer
Read a real analysis proof beside the Lean proof a computer checked, with matching steps highlighted.
Share cards
Finish a Survival run or a tough set and get an image card showing how far you got, in your theme.
- Just for fun
Small delights, always optional.
A black hole on the training page
Switch it on and a small black hole drifts around while you work, bending the page around it and growing the longer you stay. Click it and it evaporates.
The tombstone ∎
Finish a proof and the ∎ stamps itself in. Finish every Proof Block in a course and it turns gold.
Riemann Rain
Leave the page idle and rectangles fill the area under a curve, getting thinner until they match it exactly.
Epsilon lives
In Survival your three lives are ε, ε/2 and ε/4. Reach the end and you've proved it for every ε.
Integration Nation passport
Collect a stamp for each technique you master: u-substitution, by parts, partial fractions, trig substitution.
A Taylor progress bar
Your session drawn as sin(x), with one more Taylor term each time you get a problem right.
A 404 that diverges
Lost? The missing-page screen plots the harmonic series climbing forever, with a link home.
Mathematician of the day
On a mathematician's birthday, one line about them and a problem from their area.
Pun badges and Pi Day
Badges like Partial Fractions, Full Credit, plus a Pi Day theme every 14 March.