- Metamath
- iOS Ứng dụng: Giáo dục Bởi: William Hale
- Miễn phí
- Danh sách: 0 + 0 Xếp hạng: 0 Đánh giá: 0
- Điểm: 0 + 0 Phiên bản: 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 ... ⥯
≡