![Metamath](https://is1-ssl.mzstatic.com/image/thumb/Purple126/v4/76/b0/e6/76b0e6cd-8ce4-570a-d996-913188f550f6/AppIcon-0-0-1x_U007emarketing-0-0-0-5-0-0-sRGB-0-0-0-GLES2_U002c0-512MB-85-220-0-0.png/256x256bb.jpg)
Metamath
iPad / Education
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
En voir plus...
Quoi de neuf dans la dernière version ?
Updated theorems and proofs as of September 2023.