Metamath app for iPhone and iPad

4.8 ( 128 ratings )

Education
Developer: William Hale

Free

Current version: 2.0.0, last update: 6 months ago
First release : 27 Feb 2018
App size: 210.5 Mb

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