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 Saudi Arabia yet.
Ratings History
Metamath Reviews
App doesn't have any reviews yet
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 | |
|---|---|---|---|---|---|---|
3D Data Plot
3D Scatter Plot for Science
|
Unlock
|
Unlock
|
0
|
|
5 months ago | |
LogicalArt Digital Circuit Sim
Fun with electric circuit
|
Unlock
|
Unlock
|
0
|
|
5 days ago | |
Little Man Computer
|
Unlock
|
Unlock
|
0
|
|
6 months ago | |
This=That
Math Facts In A Different Way
|
Unlock
|
Unlock
|
0
|
|
1 year ago | |
PiBase: Topology
Topological Database (Maths)
|
Unlock
|
Unlock
|
0
|
|
1 year ago | |
Dear Aunt Sally
PEMDAS Tutor
|
Unlock
|
Unlock
|
0
|
|
6 months ago | |
SHC | us
|
Unlock
|
Unlock
|
0
|
|
3 years ago | |
PEMDAS - Order of operations
|
Unlock
|
Unlock
|
0
|
|
2 years 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
- 2 days ago