- 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 ... ⥯
≡