Metamath generates an estimated $0/month in revenue from 0 downloads/month on the App Store, according to AppCurrents estimates (updated 2026-08-02).
| Est. revenue / month | $0 |
|---|---|
| Est. downloads / month | 0 |
| Estimate confidence | low |
| Pricing | Free |
| Rating | 0.00 ★ (0 ratings) |
| Category | Education |
| Released | 27.02.2018 |
| App last updated | 18.09.2023 |
| Platform | iOS |
Modeled monthly estimate · rating velocity · low confidence
About
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_…
Trends & analysis
Chart rank trend
US · overallWhy it's surfacing
Scout 4Ratings & velocity
★ 0 in windowGeographic reach
best rank · 0 storefrontsRevenue & downloads trend
monthly estimateUpdate history
1 update tracked- v2.0.02.9y ago
Updated theorems and proofs as of September 2023.
Metamath — FAQ
How many downloads does Metamath get?
Metamath sees an estimated 0 downloads per month on the App Store, per AppCurrents modeling.
Is Metamath free?
Metamath is free to download on the App Store, with no in-app purchases detected.
When was Metamath released?
Metamath launched on the App Store on 27.02.2018. Its latest version shipped 18.09.2023.
