Metamath 4+
William Hale
專為 iPad 設計
-
- 免費
iPad 截圖
簡介
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
新內容
版本 2.0.0
Updated theorems and proofs as of September 2023.
App 隱私權
開發者「William Hale」指出 App 的隱私權實務可能包含下方描述的資料處理。如需更多資訊，請參閱開發者的隱私權政策。
不收集資料
開發者不會從這個 App 收集任何資料。
隱私權實務可能因你使用的功能或你的年齡等因素而有所不同。進一步瞭解
資訊
- 供應商
- William Hale
- 大小
- 220.7 MB
- 類別
- 教育
- 相容性
-
- iPad
- 需要 iPadOS 12.4 或以上版本。
- Mac
- 需要 macOS 11.0（或以上版本）以及配備 Apple M1（或以上版本）晶片的 Mac。
- Apple Vision
- 需要 visionOS 1.0 或以上版本。
- 語言
-
英文
- 年齡分級
- 4+
- Copyright
- © Copyright (C) 2018 William Hale. All Rights Reserved.
- 價格
- 免費