Is this your app? Claim this page to add your own description, links and contact info. It's free. →
Version
1.0
Size
48.67 Mb
Updated
1 month ago
Released
26 Feb 2018
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
Estimates
Availability
Devices
MacDesktop
Pricing by country
| Country | Price |
|---|---|
| Canada | free |
| China | free |
| France | free |
| Germany | free |
| Italy | free |
| Netherlands | free |
| Portugal | free |
| Spain | free |
| UK | free |
| India | free |
| Japan | free |
| Poland | free |
| Russia | free |
| Turkey | free |
| USA | free |
| Korea, Republic Of | free |
| Ukraine | free |
