Life & fun · alternatives · 2026
24 alternatives to Proof Companion – Geometry proof practice for students
Proof Companion is a geometry proof practice tool designed for students learning to write mathematical proofs. Launched in 2017, the platform helps users work through geometry problems by guiding them through the… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Prices are shown for the 1 we have checked on their own sites, 1 of them free or with a free tier. Proof Companion – Geometry proof practice for students launched in 2017; newer entries below may have overtaken it.
- 1
Provectorfree▲166A free yet powerful online vector graphics editor
2023 · start.provector.app · its alternatives →
- 2
Intuitive Math Descriptions
2018 · intuitive-math.club · its alternatives →
- 3EM
Dec 2025 · coe.psu.ac.th · its alternatives →
- 4
AI mentor that reads your math. Contribute to AbdullahAlhariri/penmentor development by creating an account on GitHub.
3d ago · github.com · its alternatives →
- 5
A hopefully helpful Figma file for conducting type studies.
2020 · figma.com · its alternatives →
- 6
To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons. The experience of working with AI agents on this project changed a lot with recent model releases, as I describe in the readme. Opus 4.8 is able to provide algorithm implementation with formal proof in one shot, whereas previous models required me to provide proof strategies in multiple steps. Trust in the correctness comes entirely from the Lean checker and human review of a small specification, not from the LLM. Also check out the web demo built around the verified core linked in…
Jun 2026 · github.com · its alternatives →
- 7
Microsoft Math▲204A free app to help with school math problems
2019 · math.microsoft.com · its alternatives →
- 8AI
2023 · x0axz.com · its alternatives →
- 9
Geometry library for C - Fast point-in-polygon. Contribute to tidwall/tg development by creating an account on GitHub.
2023 · github.com · its alternatives →
- 10
Code Companion▲106A GPT-4 based tutor which provides feedback for programming
2023 · its alternatives →
- 11
Simple SDF mesh generation in Python. Contribute to fogleman/sdf development by creating an account on GitHub.
2021 · github.com · its alternatives →
- 12
- 13
2020 · runarberg.github.io · its alternatives →
- 14
- 15
ProofCafe▲61Review collaboration and approval tool for creative teams
2018 · proofcafe.com · its alternatives →
- 16
Recreational Ruby tools for graphics and geometry. - mike-bourgeous/mb-geometry
2021 · github.com · its alternatives →
- 17AT
2024 · mathmonster.agiliq.com · its alternatives →
- 18SA
Hi HN, This is ProofTree, and in TLDR: it is a platform where you can chat with an AI to do math, the way you already do, with context-awareness and knows how you personally do math, connected to the fora of other live human mathematicians. So, when you are talking to an AI about a proof at 3 am, and you need a human expert looking at it, or a discussion around it, like you do on StackExchange, this is it! You need an approved email account to use it, so please write here if you would live to try it out.
Jul 2026 · prooftree.ai · its alternatives →
- 19OS
Companion is a free, open-source web app, featuring a Python REPL environment with an AI Tutor designed to support one’s learning and problem-solving in programming. I am leveraging the Hermes 3 405B model from Nous Research, hosted on Lambda’s Inference API. It's community-driven, 100% free, and open to all. I’d love your feedback and suggestions. Here's a short video where I demo the tool: https://www.youtube.com/watch?v=4Plt_sh_cIg&ab_channel=Rahul
2024 · companionai.dev · its alternatives →
- 20
Hey HN! We built *lapisla*, a theorem proving platform designed to make formal proofs more open and collaborative. We developed a kernel, editor, proof registry, and platform ── all accessible directly in the browser. Why we built this: Existing theorem provers are powerful, but they often feel isolated and difficult to extend. Unlike modern programming languages, which thrive on package managers and shared libraries, theorem proving tools lack a seamless way to integrate others' work. lapisla aims to bridge this gap by: * Offering a verified public proof registry for sharing and discovering…
2025 · github.com · its alternatives →
- 21
Online proofing software to share feedback in real-time
2017 · proofhub.com · its alternatives →
- 22
Place math objects on any surface and take screenshots.
2017 · apps.apple.com · its alternatives →
- 23
- 24
Working Together Got Easier, Smarter & Faster with ProofHub+
2019 · help.proofhub.com · its alternatives →
Also compare
- Provector alternatives
- Intuitive Linear Algebra and 3D Geometry alternatives
- Exploring Mathematics with Python alternatives
- Penmentor – Claude marks up your handwritten math like a teacher alternatives
- Type Study Buddy alternatives
- Formally verified polygon intersection – Opus 4.8 oneshots, prev failed alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →