Metamath vs Lambda calculus
Price, ratings, monetisation and update history for both apps, side by side — with what reviewers say about each.
Metamath
Read full descriptionHide 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
Lambda calculus
Learn the fundamentals of lambda calculus with this educational application. Gain a basic understanding of this important mathematical concept through an introductory experience.
- Introduction to lambda calculus
- Basic understanding of concepts
- Educational content
Read full descriptionHide full description
This app introduces lambda calculus. You can have some understanding for lambda calculus.
Screenshots
Verdict
The clearest difference is iOS requirement: Metamath at 12.4 against Lambda calculus's 16.0. On price, ads, in-app purchases 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
Both are free to download. Neither carries in-app purchases, so what you see is what you pay.
| Parameter | Metamath | Lambda calculus |
|---|---|---|
| Price | Free | Free |
| Rating | — | 2.5 (2 ratings) — better |
| Positive reviews | — | 100.0% of reviews |
| Number of ratings | — | 2 — better |
| Update frequency | Every 34 months | — |
| Ads | No | No |
| In-app purchases | No | No |
| Monetization | — | Free |
| Devices | iPad | iPhone, iPad — better |
| Requires iOS | 12.4 — better | 16.0 |
| Further details — not scored | ||
| Size | 210 MB | 5 MB |
| Age rating | 4+ | 4+ |
| Developer | William Hale | Sungjun Kim |
In-app purchases
Metamath
No in-app purchases
Lambda calculus
No in-app purchases
Questions
Is Metamath free?
Is Lambda calculus free?
Do Metamath or Lambda calculus have ads?
Other comparisons
