Metamath 4+
William Hale
Entwickelt für iPad
-
- Gratis
iPad-Screenshots
Beschreibung
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
Neuheiten
Version 2.0.0
Updated theorems and proofs as of September 2023.
App-Datenschutz
Der Entwickler, William Hale, hat darauf hingewiesen, dass die Datenschutzrichtlinien der App den unten stehenden Umgang mit Daten einschließen können. Weitere Informationen findest du in den Datenschutzrichtlinien des Entwicklers.
Keine Daten erfasst
Der Entwickler erfasst keine Daten von dieser App.
Die Datenschutzpraktiken können zum Beispiel je nach den von dir verwendeten Funktionen oder deinem Alter variieren. Weitere Infos
Informationen
- Anbieter
- William Hale
- Größe
- 220.7 MB
- Kategorie
- Bildung
- Kompatibilität
-
- iPad
- Erfordert iPadOS 12.4 oder neuer.
- Mac
- Erfordert macOS 11.0 (oder neuer) und einen Mac mit Apple M1-Chip (oder neuer).
- Apple Vision
- Erfordert visionOS 1.0 oder neuer.
- Sprachen
-
Englisch
- Alter
- 4+
- Copyright
- © Copyright (C) 2018 William Hale. All Rights Reserved.
- Preis
- Gratis