Version history
Metamath
16
ASO score
Text
2/100
Reviews
0/100
Graphic
60/100
Other
0/100
App Rating
Votes
App Age
7y 10m
Last Update
Sep 18, 2023
Compare with Category Top Apps
|
Metrics
|
Current App
|
Category Top Average
|
Difference
|
|---|---|---|---|
|
Rating
|
0
|
4.63
|
|
|
Number of Ratings (Voted)
|
0
|
1M
|
|
|
App Age
|
7y 10m
|
8y 8m
|
-9%
|
|
In-app Purchases Price
|
$0
|
$67
|
|
|
Update Frequency
|
845d
|
19d
|
+4 333%
|
|
Title Length
|
8
|
27
|
-70%
|
|
Subtitle Length
|
0
|
28
|
|
|
Description Length
|
402
|
2 984
|
-87%
|
|
Number of Screenshots
|
234
|
1363
|
-83
%
|
|
Size
|
211MB
|
246MB
|
-14
%
|
Category Ranking in United States
7 days
Last 7 days
Last 30 days
Last 90 days
Last 180 days
Last year
| Top | Jan 02, 2026 | Jan 09, 2026 |
|---|---|---|
|
No results were found!
|
||
| Top | Jan 02, 2026 | Jan 09, 2026 |
|---|---|---|
|
No results were found!
|
||
| Top | Jan 02, 2026 | Jan 09, 2026 |
|---|---|---|
|
No results were found!
|
||
| Top | Jan 02, 2026 | Jan 09, 2026 |
|---|---|---|
|
No results were found!
|
||
Ranking Keywords in United States
| Keywords | App Rank |
|---|
Analyze this and other apps using Asolytics tools
Text ASO
Title
(
Characters:
8
of 30
)
Metamath
Subtitle
(
Characters:
0
of 30
)
Description
(
Characters:
402
of 4000
)
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}
Other
Additional Information
| Rating: | |
| Voted: | 0 |
| App Store Link: | |
| Website: | |
| Email: | - |
| Privacy Policy: | |
| Categories: | Education |
| Size: | 210MB |
| App Age: | 7 years 10 months |
| Release Date: | Feb 27, 2018 |
| Last Update: | Sep 18, 2023 |
| Version: | 2.0.0 |
Version history
2.0.0
Sep 18, 2023
Updated theorems and proofs as of September 2023.
1.1.0
Apr 03, 2021
Updated app to current compiler level.