Metamath 4+
William Hale
Diseñada para iPad
-
- Gratis
Capturas de pantalla del iPad
Descripción
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
Novedades
Versión 2.0.0
Updated theorems and proofs as of September 2023.
Privacidad de la app
El desarrollador (William Hale) indicó que, entre las prácticas de privacidad de la app, pueden incluirse el manejo de datos que se describe a continuación. Para obtener detalles, consulta la política de privacidad del desarrollador.
No se recopilan datos
El desarrollador no recopila ningún dato en esta app.
Las prácticas de privacidad pueden variar; por ejemplo, según tu edad o las funciones que uses. Obtén detalles
Información
- Vendedor
- William Hale
- Tamaño
- 220.7 MB
- Categoría
- Educación
- Compatibilidad
-
- iPad
- Requiere iPadOS 12.4 o posterior.
- Mac
- Requiere macOS 11.0 o posterior y una Mac con el chip M1 de Apple o posterior.
- Apple Vision
- Requiere visionOS 1.0 o posterior.
- Idiomas
-
Inglés
- Edad
- 4+
- Copyright
- © Copyright (C) 2018 William Hale. All Rights Reserved.
- Precio
- Gratis