Estimation application downloads and cost
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
Read 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
Application availability
Available in countries
Country | Price |
---|---|
Canada | free |
China | free |
France | free |
Germany | free |
Italy | free |
Netherlands | free |
Portugal | free |
Spain | free |
UK | free |
India | free |
Japan | free |
Korea, Republic Of | free |
Poland | free |
Russia | free |
Turkey | free |
USA | free |
Korea, Republic Of | free |
Ukraine | free |
Available for devices
iPadAir, iPadAirCellular, iPadMiniRetina, iPadMiniRetinaCellular, iPadAir2, iPadAir2Cellular, iPadMini3, iPadMini3Cellular, iPadMini4, iPadMini4Cellular, iPadPro, iPadProCellular, iPadPro97, iPadPro97Cellular, iPad611, iPad612, iPad71, iPad72, iPad73, iPad74, iPad75, iPad76, iPad812, iPad834, iPad856, iPad878, iPadMini5, iPadMini5Cellular, iPadAir3, iPadAir3Cellular, iPadSeventhGen, iPadSeventhGenCellular, iPadProSecondGen, iPadProSecondGenCellular, iPadProFourthGen, iPadProFourthGenCellular,Versions and releases
Latest version Metamath: 2.0.0
Updated theorems and proofs as of September 2023.
Apps Changes History:
- 7 months ago: New App Version 1.1.0 ☛ 2.0.0