# Metamath

> Metamath (iPhone/iPad app by William Hale.)

- Source: https://appshunter.io/ios/app/metamath/id1348593713 (this page in markdown: same URL + `.md`)
- Developer: [William Hale](https://appshunter.io/developer/297636668)
- Category: Education
- Price: Free
- Age rating: 4+
- Requires: iOS 12.4 · 210 MB
- Languages: American English
- Released: 2018-02-27
- Data updated: 2026-05-18
- User reviews in markdown: https://appshunter.io/ios/app/metamath/id1348593713/reviews.md

## What is Metamath?

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


## Version history (last 3 releases)

### 2.0.0 — 2023-09-18

Updated theorems and proofs as of September 2023.

### 1.1.0 — 2021-04-03

Updated app to current compiler level.

### 1.0 — 2018-02-27

No release notes.

## Apps similar to Metamath

| App | Rating | Price | Category |
| --- | --- | --- | --- |
| [Namco UK](https://appshunter.io/ios/app/namco-uk/id1475083840) | — | Free | Education |
| [Samsa](https://appshunter.io/ios/app/samsa/id1468451980) | — | Free | Education |
| [Letabu](https://appshunter.io/ios/app/letabu/id1475430520) | — | Free | Education |
| [GMAT Practice Test Prep](https://appshunter.io/ios/app/gmat-practice-test-prep/id1466940360) | — | Free | Education |
| [GED](https://appshunter.io/ios/app/ged/id428245807) | 4.7 (611) | Free | Education |
| [VPT Math Test Prep](https://appshunter.io/ios/app/vpt-math-test-prep/id1564945610) | 4.7 (3) | Free | Education |

## More apps by William Hale

- [Gin Rummy Ultra](https://appshunter.io/ios/app/gin-rummy-ultra/id1077894513)
- [Bezique](https://appshunter.io/ios/app/bezique/id1186935667)
- [Chicago Bridge](https://appshunter.io/ios/app/chicago-bridge/id1245482275)
- [Gin Rummy Ultra Lite](https://appshunter.io/ios/app/gin-rummy-ultra-lite/id6477965011)

All apps by William Hale: https://appshunter.io/developer/297636668

---

*Data collected daily from the US App Store and indexed by [AppsHunter](https://appshunter.io/). User reviews are verbatim App Store reviews. Ratings, prices and chart positions refresh continuously; this snapshot is from 2026-05-18.*