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
- © Copyright (C) 2018 William Hale. All Rights Reserved.
- 価格
- 無料