Metamath
Published by:
William Hale
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
Hide
Show More...
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
Screenshots
Metamath FAQ
-
Is Metamath free?
Yes, Metamath is completely free and it doesn't have any in-app purchases or subscriptions.
-
Is Metamath legit?
Not enough reviews to make a reliable assessment. The app needs more user feedback.
Thanks for the vote -
How much does Metamath cost?
Metamath is free.
-
What is Metamath revenue?
To get estimated revenue of Metamath app and other AppStore insights you can sign up to AppTail Mobile Analytics Platform.
User Rating
App is not rated in Poland yet.
Ratings History
Metamath Reviews
Store Rankings
Ranking History
App Ranking History not available yet
Category Rankings
App is not ranked yet
Metamath Competitors
| Name | Downloads (30d) | Monthly Revenue | Reviews | Ratings | Recent release | |
|---|---|---|---|---|---|---|
LogicalArt Digital Circuit Sim
Fun with electric circuit
|
Unlock
|
Unlock
|
0
|
|
1 month ago | |
This=That
Math Facts In A Different Way
|
Unlock
|
Unlock
|
0
|
|
2 years ago | |
PiBase: Topology
Topological Database (Maths)
|
Unlock
|
Unlock
|
0
|
|
1 year ago | |
Dear Aunt Sally
PEMDAS Tutor
|
Unlock
|
Unlock
|
0
|
|
7 months ago | |
Steiner Tree
|
Unlock
|
Unlock
|
0
|
|
2 years ago | |
SHC | us
|
Unlock
|
Unlock
|
0
|
|
3 years ago | |
PEMDAS - Order of operations
PEMDAS Math
|
Unlock
|
Unlock
|
0
|
|
2 years ago | |
On Target Math Skills
|
Unlock
|
Unlock
|
0
|
|
6 months ago | |
Calc Visualizer
|
Unlock
|
Unlock
|
0
|
|
2 years ago | |
Stepwising
|
Unlock
|
Unlock
|
0
|
|
2 years ago |
Metamath Installs
Last 30 days
Metamath Revenue
Last 30 daysMetamath Revenue and Downloads
Gain valuable insights into Metamath performance with our analytics.
Sign up now to access downloads, revenue, and more.
Sign up now to access downloads, revenue, and more.
App Info
- Category
- Education
- Publisher
- William Hale
- Languages
- English
- Recent release
- 2.0.0 (1 year ago )
- Released on
- Feb 27, 2018 (6 years ago )
- Also available in
- Saudi Arabia , Kazakhstan , Lebanon , Malaysia , Nigeria , New Zealand , Philippines , Poland , Russia , Japan , Singapore , Thailand , Taiwan , Ukraine , United States , Vietnam , South Africa , Australia , Italy , India , Indonesia , Hong Kong SAR China , Greece , United Kingdom , France , Egypt , Ecuador , Denmark , Germany , Czechia , Colombia , China , Belgium
- Last Updated
- 1 week ago
This page includes copyrighted content from third parties, shared solely for commentary and research in accordance with fair use under applicable copyright laws. All trademarks, including product, service, and company names or logos, remain the property of their respective owners. Their use here falls under nominative fair use as outlined by trademark laws and does not suggest any affiliation with or endorsement by the trademark holders.