Metamath is made and published by William Hale. AppBrain is an independent app data site and isn't affiliated with William Hale. The app name, icon, screenshots and description belong to William Hale and are shown as published on the App Store.
AppBrain's verdict
- Last updated
- September 18, 2023
- Size
- 210.5 MB
User feedback
Ratings and reviews on the App StoreComments on Metamath for iOS
We don't have enough comments to show example comments. Please check back later.
Store listing
By William Hale, from the App StoreDescription by William Hale Written by the developer, not by AppBrain. Click to read.
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
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
Safety and technology
Found in the app by AppBrain- Price
- Free
- App size
- 210.5 MB
- Content rating
- Everyone
Technologies used by Metamath
Releases
Updates seen on the App Store- Version
- 2.0.0
- Launched
- February 2018
No changelog data
Alternatives
Similar apps and more from William HaleAlternatives to Metamath
More from William Hale
Rankings
App Store top chartsApp Store Rankings for Metamath
This app is not ranked
About the app and developer
About Metamath
Metamath is an education app developed by William Hale.
What is the rating of Metamath?
Metamath has no ratings yet.
Is Metamath free?
Metamath is free. The app size is 210.50 MB. The latest version available is 2.0.0. The last update was on September 18, 2023.
What are the requirements for Metamath?
The app has a content rating of Everyone. The app has been available on the App Store since February 2018.
Developer information for William Hale
Address: