Metamath
Details about Metamath
- Released
- Updated
- iOS Version
- Age Rating
- Size
- Devices
- Languages
Features
Developer of Metamath
- Versions
- Price History
- Description
- FAQ
Version History of Metamath
2.0.0
September 18, 2023
Updated theorems and proofs as of September 2023.
1.1.0
April 3, 2021
Updated app to current compiler level.
1.0
February 27, 2018
Price History of Metamath
Description of Metamath
Metamath: FAQ
Does Metamath work on iPads?
Yes, there is an iPad version available for Metamath.
Who launched the app?
Metamath was launched by William Hale.
What is the minimum iOS version to run the Metamath app?
The minimum iOS requirement for the app is 12.4 or higher.
What is the overall rating of the Metamath app?
The Metamath app doesn’t have enough ratings and reviews yet.
What genre is the Metamath app?
The App Category Of Metamath Is Education.
What is the recent version of the Metamath app?
2.0.0 is the newly released Metamath version.
When was the most recent Metamath update made available?
Metamath updated on October 4, 2024.
Do you know when Metamath was first made available?
The specific date when the app came out was February 5, 2023.
What content advisory rating is assigned to Metamath?
No objectionable content, suitable for young children.
What are the languages supported by the Metamath app?
Currently, Metamath supports English.
Is Metamath included in the roster of games on Apple Arcade?
No, Metamath is not on Apple Arcade.
Does Metamath support in-app purchases?
No, Metamath does not support in-app purchases.
Is Metamath designed for Apple Vision Pro integration?
Sorry, Metamath is not designed for integration with Apple Vision Pro.
Are there commercial ads in Metamath?
No, there are no commercial ads in Metamath.
Screenshot of Metamath
