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 Hong Kong SAR China yet.
Ratings History
Metamath Reviews
No Reviews in Hong Kong SAR China
App doesn't have any reviews in Hong Kong SAR China yet.
Store Rankings
Ranking History
App Ranking History not available yet
Category Rankings
App is not ranked yet
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