GeoProof

At a glance

• Editor score
  7.5 / 10
• Pricing
  Free plan
• Best for
  Self-guided learners exploring geometry theorems
• Free plan
  Yes
• Paid from
  Free
• Dynamic constructions
  Yes
• Facts checked
  28 Sep 2026

• Where it wins

  • 73 interactive theorem explorers span core geometry topics
  • Dragging figures updates relationships live, with machine-precision construction checks
  • Free guided learning paths, quizzes, search, and embeddable explorers

• Where it doesn't

  • Work in progress, so the collection may change
  • No formal proof-exercise functionality
  • Embeds are intended for non-profit educational contexts

Our verdict on GeoProof

GeoProof is a free, browser-based collection of interactive geometry theorem explorers from Knovay. Its 73 explorers cover triangles, circles, angles, quadrilaterals, polygons, transformations, and area formulas. Learners can drag figures and watch geometric relationships update live; constructions are verified to machine precision. Guided topic paths and a practice quiz support self-guided study, making GeoProof a fit for learners who want to investigate how theorems behave rather than only read explanations.

The central feature is manipulation: figures respond as learners change their geometry, making relationships visible while they explore. Topic paths organize the material, search finds explorers by name or topic, and individual pages can be projected, linked, or embedded in non-profit educational contexts. This gives the collection a useful role for independent exploration and classroom demonstrations, though the available material is centered on theorem explorers and a quiz rather than formal proof exercises.

GeoProof runs on the web and requires no installation, plugins, account, or sign-up. It is free for educational use, with no paid plan structure described. The site identifies itself as a work in progress, so it may suit learners comfortable with an evolving resource. Choose it for free, interactive exploration of geometry concepts; look elsewhere if formal proof practice or a more established classroom tool is central to your needs.

Your product? Our editors can test GeoProof in depth and publish a review, labelled as paid · from $149/mo →

GeoProof pricing

GeoProof fact sheet

Alternatives to GeoProof

• GeoGebraA broad geometry and mathematics suite with adaptive practice, classroom tools, and offline apps.9.4
• GDGNU Dr. GeoA free, programmable desktop geometry environment for dynamic constructions and exploration.8.8
• KKigA free desktop tool for exploring constructions, with macros and drawing features.8.6

See all GeoProof alternatives →

Featured on iTechGuides

GeoProof is listed in our Geometry Learning Software directory. Add the badge to your site — it links back to this page.

<a href="https://www.itechguides.com/products/geoproof/"><img src="https://www.itechguides.com/best/badge/geoproof.svg" alt="Featured on iTechGuides" width="230" height="46"></a>

Reviewed by iTechGuides Editors · Editorial team · Updated Oct 2026

Advertiser disclosure: iTechGuides is reader-supported. Vendors can pay for top positions in our rankings and for a place on other products' pages, and we may earn a commission when you click some links. Bought places stand at the number bought; this page and our disclosure say so. Paying vendors may get a fuller, more detailed review from our editors, and that review can change their score. How we rank.

Last updated 7 Oct 2026 · How we research and update