Metamath

0.0 210.50MB 0 Free

Education()

Version 2.0.0 Updated 2023-09-18 Developer William Hale

Get Now

Details
InAppPurchase
AppInsight

Description

This app allows you to view the Metamath theorems and their proofs

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

Category: () Version: 2.0.0 BundleId: com.gmail.billh04.Metamath Developer: William Hale Updated: 2023-09-18

In-App Purchases

1 items 1 currencies

1 中国

Item

¥ 0 CNY

#	Name	Price	Currency	Region
1	Item	¥ 0	CNY	中国

Metamath

Description

Item

🔥 Hot Picks