Metamath 4+
William Hale
Conçu pour iPad
-
- Gratuit
Captures d’écran d’iPad
Description
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
Nouveautés
Version 2.0.0
Updated theorems and proofs as of September 2023.
Confidentialité de l’app
Le développeur William Hale a indiqué que le traitement des données tel que décrit ci‑dessous pouvait figurer parmi les pratiques de l’app en matière de confidentialité. Pour en savoir plus, consultez la politique de confidentialité du développeur.
Données non collectées
Le développeur ne collecte aucune donnée avec cette app.
Les pratiques en matière de confidentialité peuvent varier, notamment en fonction des fonctionnalités que vous utilisez ou de votre âge. En savoir plus
Informations
- Fournisseur
- William Hale
- Taille
- 220,7 Mo
- Catégorie
- Éducation
- Compatibilité
-
- iPad
- Nécessite iPadOS 12.4 ou version ultérieure.
- Mac
- Nécessite macOS 11.0 ou une version ultérieure et un Mac doté d’une puce Apple M1 ou une version ultérieure.
- Apple Vision
- Nécessite visionOS 1.0 ou version ultérieure.
- Langues
-
Anglais
- Âge
- 4+
- Copyright
- © Copyright (C) 2018 William Hale. All Rights Reserved.
- Prix
- Gratuit