• 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 KPOPPED (Apple TV+) : premier trailer pour l’émission musicale de « battles » présentée par PSY et Megan Thee Stallion
KPOPPED (Apple TV+) : premier trailer pour l’émission musicale de « battles » présentée par PSY et Megan Thee Stallion
Image Réparations d’iPad : Apple est critiqué pour les prix de ses composants
Réparations d’iPad : Apple est critiqué pour les prix de ses composants
Image Apple porte plainte contre Apple Cinemas à cause de son nom
Apple porte plainte contre Apple Cinemas à cause de son nom
Image Apple veut concurrencer ChatGPT pour la recherche IA avec son équipe « Answers »
Apple veut concurrencer ChatGPT pour la recherche IA avec son équipe « Answers »
Partenaires : Actualité iPhone - Culture Geek
©2009-2025 i2CMedia | A propos |