Metamath

Educación

Gratis · Diseñada para 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

Calificaciones y reseñas

  • Esta app no ha recibido suficientes calificaciones ni reseñas para mostrar un resumen.

Updated theorems and proofs as of September 2023.

Versión 2.0.0

El desarrollador (William Hale) indicó que las prácticas de privacidad de la app pueden incluir el manejo de datos que se describe a continuación. Para obtener más 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 cambiar; por ejemplo, según tu edad o las funciones que uses. Obtén detalles

    Accesibilidad

    El desarrollador aún no ha indicado cuáles funciones de accesibilidad admite esta app. Obtén detalles

    Ficha técnica

    • Vendedor
      • William Hale
    • Tamaño
      • 220.7 MB
    • Categoría
      • Educación
    • Compatibilidad
      Requiere iPadOS 12.4 o posterior.
      • 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.
  • Sitio web del desarrollador
  • Política de privacidad

    • Más de William Hale

    También te podría interesar