# Metamath vs Math Proof Studio

The clearest difference is device support: Math Proof Studio at 3 against Metamath's 1. On price, ads, in-app purchases and iOS requirement there is nothing between them.

Both are free to download. Neither carries in-app purchases, so what you see is what you pay.

## The numbers

| Metric | Metamath | Math Proof Studio |
| --- | --- | --- |
| Price | Free | Free |
| In-app purchases | No | No |
| Ads | No | No |
| Update frequency | Every 34 months | — |
| Size | 210 MB | 18 MB |
| Requires iOS | **12.4** | 13.0 |
| Devices | iPad | **iPhone, iPad, iPod** |
| Age rating | 4+ | 4+ |
| Developer | [William Hale](https://appshunter.io/developer/297636668) | [Phung Thi Ha](https://appshunter.io/developer/1865511505) |

## What reviewers say

### Metamath

[App page](https://appshunter.io/ios/app/metamath/id1348593713)

**Features:** macOS Compatibility

**In-app purchases:** none


### Math Proof Studio

[App page](https://appshunter.io/ios/app/math-proof-studio/id6757322894)

**Features:** macOS Compatibility

**In-app purchases:** none


## Frequently asked questions

### Is Metamath free?

Metamath is free to download, with no in-app purchases.

### Is Math Proof Studio free?

Math Proof Studio is free to download, with no in-app purchases.

### Do Metamath or Math Proof Studio have ads?

Neither Metamath nor Math Proof Studio shows ads.

---

*Compared by [AppsHunter](https://appshunter.io/) from daily US App Store data. Review summaries are generated from verbatim App Store reviews.*