• KultureGeek
  • Comparateur de prix
       
iPhoneAddict
 iAddictv5Notre Application iPhone/iPad
  • Accueil Apps
  • Actualité Apple
  • Keynote Apple
  • Firmwares & iTunes
  • Contactez-nous
Accueil » Liste des Apps » Apps iPad » Education » Metamath
2.0.0 iOS €Gratuit William Hale 0 0 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...
Metamath

Metamath

iPad / Education

Gratuit
Obtenir sur l'App Store

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

En voir plus...

Quoi de neuf dans la dernière version ?

Updated theorems and proofs as of September 2023.

  • Screenshot #4 pour Metamath
  • Screenshot #5 pour Metamath

D'autres applications du développeur

Gin Rummy Ultra
Gin Rummy Ultra
/ iOS Universel
Gin Rummy Ultra
Gin Rummy Ultra
/ macOS
Bezique
Bezique
/ macOS
Bezique
Bezique
/ iOS Universel
Chicago Bridge
Chicago Bridge
/ macOS
Chicago Bridge
Chicago Bridge
/ iPad

Note

(0 note)

Détails sur l'application

Version
2.0.0
Taille
220.7 Mo
Version minimum d'iOS
12.4
Dernière mise à jour
18/09/2023
Publié par
William Hale

Newsletter App Store

Recevez chaque jour les meilleures promos

Actualité Apple

Image iOS 26 s’approche de la version finale, la bêta 8 pourrait être la dernière
iOS 26 s’approche de la version finale, la bêta 8 pourrait être la dernière
Image Orange et iPhone : la 5G+ devient compatible avec l’option Multi-SIM
Orange et iPhone : la 5G+ devient compatible avec l’option Multi-SIM
Image Bêta 8 pour iOS 26, macOS Tahoe, watchOS 26, tvOS 26 et visionOS 26
Bêta 8 pour iOS 26, macOS Tahoe, watchOS 26, tvOS 26 et visionOS 26
Image Elon Musk poursuit Apple et OpenAI pour pratiques anticoncurrentielles
Elon Musk poursuit Apple et OpenAI pour pratiques anticoncurrentielles
Partenaires : Actualité iPhone - Culture Geek
©2009-2025 i2CMedia | A propos |