Preview
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
What's New
Version 2.0.0 2023-09-18
Updated theorems and proofs as of September 2023. Technical Analysis
Package Overview Basic metadata
Bundle ID
com.gmail.billh04.Metamath Current Version 2.0.0
Minimum iOS 12.4
Package Size App Store Size
Package Metadata 1 / 3 version records
Detailed binary, privacy manifest, framework, and Info.plist results have not been indexed for this package yet. The verified App Store and archive metadata above remains available.
Developer Information
Known Version Records
1 version record with stored package metadata • 3 known version records
Stored metadata does not guarantee a package is currently available to download.
| Details | Version / IDs | Version date | Action |
|---|---|---|---|
 57.7 MB | v2.0.0 App Store ID: 859952812Build: 4 | 2023-09-15 11:48:46 | Get Version |
| Not archived | App Store ID: 841178969 | Unknown | Request Version |
| Not archived | App Store ID: 825996812 | Unknown | Request Version |