Metamath at Mac App Store analyse

App power index: 100 (based on ranks around App Stores today)
Education Education
Developer: William Hale
Price: 0 free
Current version: 1.0, last update: 6 years ago
First release : 26 Feb 2018
App size: 48.67 Mb
4.7 ( 657 ratings )
follow app ASO analyse

Estimation application downloads and cost

> 2.2k
Monthly downloads
~ $ 900
Estimation App Cost


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
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
Poland free
Russia free
Turkey free
USA free
Korea, Republic Of free
Ukraine free
Available for devices
MacDesktop,