Metamath vs Math Proof Studio
Price, ratings, monetisation and update history for both apps, side by side — with what reviewers say about each.
Metamath
Read full descriptionHide full description
This app allows you to view the Metamath theorems and their proofs. It has no ads or in-app purchases. Metamath is a system for formalizing and verifying math proofs. For information about Metamath, see the web site us.metamath.org or one of its mirror sites. For a demo of this app, see the youtube video at the url https://www.youtube.com/watch?v=qTOUBEACTz4&list=PLoh8e3Knr9WIEK55cIKwQe5e8CBpA3_ks
Math Proof Studio
Read full descriptionHide full description
Math Proof Studio is a proof-writing notebook built around ownership of your reasoning record. Write in a text-first editor, preserve every revision in a linked chain, and run deterministic protocol checks (not grades). Curate selected work into exportable Evidence Packs for sharing or archival.
Screenshots
Verdict
The clearest difference is device support: Math Proof Studio at 3 against Metamath's 1. On price, ads, in-app purchases and iOS requirement there is nothing between them.
Scored on Price · Rating · Positive reviews · Number of ratings · Update frequency · Ads · In-app purchases · Monetization · Best chart rank · Devices · Requires iOS
Both are free to download. Neither carries in-app purchases, so what you see is what you pay.
| Parameter | Metamath | Math Proof Studio |
|---|---|---|
| Price | Free | Free |
| Update frequency | Every 34 months | — |
| Ads | No | No |
| In-app purchases | No | No |
| Devices | iPad | iPhone, iPad, iPod — better |
| Requires iOS | 12.4 — better | 13.0 |
| Further details — not scored | ||
| Size | 210 MB | 18 MB |
| Age rating | 4+ | 4+ |
| Developer | William Hale | Phung Thi Ha |
In-app purchases
Metamath
No in-app purchases
Math Proof Studio
No in-app purchases
Questions
Is Metamath free?
Is Math Proof Studio free?
Do Metamath or Math Proof Studio have ads?
Other comparisons
