Metamath Hack 2.0.0 + Redeem Codes
Developer: William Hale
Category: Education
Price: Free
Version: 2.0.0
ID: com.gmail.billh04.Metamath
Screenshots
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
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
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
Ways to hack Metamath
- Redeem codes (Get the Redeem codes)
Download hacked APK
Download Metamath MOD APK
Request a Hack
