App Profile: Metamath
Android / Games / Puzzles
Metamath
Installs:
Rating:
0.00
Total Reviews:
0
Top Countries:
FR, IT
< $5k
/mo
< 5k
/mo
Reviews: What People Think About Metamath
About Metamath
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
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
File size: 220720128
Launched countries: USAUCACNFRDEGBITJPKRRUDZAOARATAZBBBYBEBMBRBGCLCOCRHRCZDKDOECEGSVFIGHGRGTHKHUINIDIEILKZKEKWLBLTLUMOMGMYMXNLNZNGNOOMPKPAPEPHPLPTQAROSASGSKSIZAESLKSECHTWTHTNTRUAAEUYUZVEVNBHCYMTBOKHEELVNIPYMZYE
Minimum OS version: 12.4
Release Date: 1519700066000
Published by William Hale
Website url: https://www.youtube.com/playlist?list=PLoh8e3Knr9WIEK55cIKwQe5e8CBpA3_ks
Publisher country:
Related Apps
