Estimation application downloads and cost
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
Read more
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
Application availability
Available in countries
Country | Price |
---|---|
Canada | free |
China | free |
France | free |
Germany | free |
Italy | free |
Netherlands | free |
Portugal | free |
Spain | free |
UK | free |
India | free |
Japan | free |
Korea, Republic Of | free |
Poland | free |
Russia | free |
Turkey | free |
USA | free |
Korea, Republic Of | free |
Ukraine | free |