Comparison

Metamath vs Mad Func

Price, ratings, monetisation and update history for both apps, side by side — with what reviewers say about each.

Head to head
About

Metamath

Features
Read full 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

About

Mad Func

Learn algorithms and coding concepts through interactive, gamified challenges. Solve puzzles by arranging code blocks, debug issues, and tackle system design problems. Track your progress and prepare for interviews or strengthen your computer science fundamentals.

Highlights
  • Gamified algorithm puzzles
  • Interactive debugging
  • System design challenges
  • Multi-language support
  • Progress tracking dashboard
  • Weekly new challenges
Read full description

Who said learning algorithms had to be boring? Solve coding challenges by dragging and dropping syntax pieces into place. It's like building with code blocks! Challenge Yourself With: Fresh algorithm puzzles every week Interactive debugging missions System design brain teasers Multi-language support (Swift, Python, JavaScript, Java) Personal progress dashboard Whether you're prepping for interviews or strengthening CS foundations, turn study time into play time. Terms of Use (EULA) - https://www.apple.com/legal/internet-services/itunes/dev/stdeula/

Screenshots

Mad Func4 screens

Verdict

The call

The clearest difference is in-app purchases: Metamath at none against Mad Func's 1. Metamath also leads on iOS requirement (12.4 vs 18.0). Mad Func's advantage is update cadence (every 3 days vs every 34 months). On price, ads and device support there is nothing between them.

Scored on Price · Rating · Positive reviews · Number of ratings · Update frequency · Ads · In-app purchases · Monetization · Best chart rank · Devices · Requires iOS

CostPrice · In-app purchases · Ads · Monetization

Both are free to download. Mad Func sells 1 in-app purchase, starting at $2.99 per 7 days. Metamath asks for nothing beyond the download.

UpkeepUpdate frequency

Metamath ships an update every 34 months, Mad Func every 3 days. The most recent releases landed on September 17, 2026 and June 3, 2026 respectively.

Scorecard3 real differences · 6 level
Metamath versus Mad Func: the parameters behind the verdict, then further details
ParameterMetamathMad Func
PriceFreeFree
Rating—5.0 (1 ratings) — better
Number of ratings—1 — better
Update frequencyEvery 34 monthsEvery 3 days — better
AdsNoNo
In-app purchasesNo — betterYes
Monetization—Free with in-app purchases
DevicesiPadiPhone, iPad — better
Requires iOS12.4 — better18.0
Further details — not scored
Size210 MB28 MB
Age rating4+4+
DeveloperWilliam HaleGina De La Rosa

In-app purchases

None

Metamath

No in-app purchases

1 purchases

Mad Func

Subscriptions1
  • Mad Func Pro$2.997 Days

Questions

Is Metamath free?
Metamath is free to download, with no in-app purchases.
Is Mad Func free?
Mad Func is free to download, with in-app purchases available.
Do Metamath or Mad Func have ads?
Neither Metamath nor Mad Func shows ads.
Which is updated more often, Metamath or Mad Func?
Metamath ships an update every 34 months, and Mad Func every 3 days. Most recently, Metamath was updated on September 17, 2026 and Mad Func on June 3, 2026.

Other comparisons