Metamath 4+
William Hale
Ontworpen voor iPad
-
- Gratis
iPad-schermafbeeldingen
Beschrijving
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
Nieuw
Versie 2.0.0
Updated theorems and proofs as of September 2023.
App-privacy
De ontwikkelaar, William Hale, heeft aangegeven dat volgens de toepassing van het privacybeleid van de app gegevens kunnen worden beheerd zoals hieronder staat beschreven. Ga voor meer informatie naar het privacybeleid van de ontwikkelaar.
Er worden geen gegevens verzameld
De ontwikkelaar verzamelt geen gegevens van deze app.
Toepassing van het privacybeleid kan variëren op basis van bijvoorbeeld de functies die je gebruikt of je leeftijd. Lees meer
Informatie
- Provider
- William Hale
- Grootte
- 220,7 MB
- Categorie
- Onderwijs
- Compatibiliteit
-
- iPad
- Vereist iPadOS 12.4 of nieuwer.
- Mac
- Vereist een Mac met macOS 11.0 of nieuwer én Apple M1-chip of nieuwer.
- Apple Vision
- Vereist visionOS 1.0 of nieuwer.
- Talen
-
Engels
- Leeftijd
- 4+
- Copyright
- © Copyright (C) 2018 William Hale. All Rights Reserved.
- Prijs
- Gratis