Is this your app? Claim this page to add your own description, links and contact info. It's free. →
Version
2.0.0
Size
210.5 Mb
Updated
1 month ago
Released
27 Feb 2018
Screenshots
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
Estimates
Availability
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
iPadAir4
iPadAir4Cellular
iPadEighthGen
iPadEighthGenCellular
iPadProThirdGen
iPadProThirdGenCellular
iPadProFifthGen
iPadProFifthGenCellular
iPadMiniSixthGen
iPadMiniSixthGenCellular
iPadNinthGen
iPadNinthGenCellular
iPadAirFifthGen
iPadAirFifthGenCellular
iPadTenthGen
iPadTenthGenCellular
iPadPro11FourthGen
iPadPro11FourthGenCellular
iPadProSixthGen
iPadProSixthGenCellular
Pricing by country
| 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 |
