# Metamath vs Proof Fidget

The clearest difference is iOS requirement: Metamath at 12.4 against Proof Fidget's 17.0. On price, ads, in-app purchases and device support 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 | Proof Fidget |
| --- | --- | --- |
| Price | Free | Free |
| Rating | — | **[5.0 (2 ratings)](https://appshunter.io/ios/app/proof-fidget/id6759361942/reviews)** |
| Number of ratings | — | **2** |
| Positive reviews | — | 100.0% of reviews |
| In-app purchases | No | No |
| Ads | No | No |
| Update frequency | Every 34 months | — |
| Monetization | — | Free |
| Size | 210 MB | 10 MB |
| Requires iOS | **12.4** | 17.0 |
| Devices | iPad | **iPhone, iPad** |
| Age rating | 4+ | 4+ |
| Developer | [William Hale](https://appshunter.io/developer/297636668) | [Matthew Murphy](https://appshunter.io/developer/1263295014) |

## What reviewers say

### Metamath

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

**Features:** macOS Compatibility

**In-app purchases:** none


### Proof Fidget

[App page](https://appshunter.io/ios/app/proof-fidget/id6759361942)

Engage with math through interactive puzzles that build proofs step-by-step. Learn logic, algebra, number theory, and geometry by making correct moves and receiving immediate feedback. Develop intuition for abstract concepts in short, satisfying sessions.

**Highlights:** Puzzle-driven math learning, Step-by-step proof building, Logic and proof techniques, Algebraic transformations, Number theory practice, Geometry and visual aids

**Features:** macOS Compatibility

**In-app purchases:** none


## Frequently asked questions

### Is Metamath free?

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

### Is Proof Fidget free?

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

### Do Metamath or Proof Fidget have ads?

Neither Metamath nor Proof Fidget shows ads.

---

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