速報APP / 教育 / Metamath

Metamath

價格:免費

檔案大小:174.7 MB

版本需求:需要 iOS 11.2 或以上版本。與 iPad 相容。

支援語言:英語

Metamath(圖1)-速報App

This app allows you to view the Metamath theorems and their proofs. It has no ads or in-app purchases.

Metamath(圖2)-速報App

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

支援平台:iPad