열기-
- 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 ... ⥯
공유하기
William Hale | 개발자
단축 URL: 복사됨!
- 공유하기