Maths solutions you can trust 📐
Point your camera at a maths problem. Proofy shows the solution step by step, and every step is checked by a computer algebra system before you see it.
Coming soon to Google Play
Join the test
x² − 5x + 6 = 0
(x − 2)(x − 3) = 0✓
x − 2 = 0 or x − 3 = 0✓
x = 2 or x = 3✓
📷 Snap or type
Photograph a printed or handwritten problem, or type it in. Proofy reads it and asks you to confirm.
✅ Every step checked
An AI drafts the working; a symbolic maths engine verifies each step. Steps that don't hold are never shown.
🎬 Watch it unfold
Solutions play step by step over your photo, with graphs, number lines and diagrams where they help.