- Metamath
- iOS 應用程式: 教育 由: William Hale
- 免費
- 清單: 0 + 0 排名: 0 評測: 0
- 點數: 0 + 0 版本: 2.0.0 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 ... ⥯
≡