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.
앱이 수집하는 개인정보
William Hale 개발자가 아래 설명된 데이터 처리 방식이 앱의 개인정보 처리방침에 포함되어 있을 수 있다고 표시했습니다. 자세한 내용은 개발자의 개인정보 처리방침을 참조하십시오.
데이터가 수집되지 않음
개발자가 이 앱에서 데이터를 수집하지 않습니다.
개인정보 처리방침은 사용하는 기능이나 사용자의 나이 등에 따라 달라질 수 있습니다. 더 알아보기
정보
- 제공자
- William Hale
- 크기
- 220.7MB
- 카테고리
- 교육
- 호환성
-
- iPad
- iPadOS 12.4 이상 필요
- Mac
- macOS 11.0 이상 및 Apple M1 칩 이상이 탑재된 Mac이 필요
- Apple Vision
- visionOS 1.0 이상 필요
- 언어
-
영어
- 연령 등급
- 4+
- 저작권
- © Copyright (C) 2018 William Hale. All Rights Reserved.
- 가격
- 무료