Metamath

site

Langage formel et assistant de preuve associé

Liens externes

Lien Wikipedia : https://fr.wikipedia.org/wiki/Metamath

Lien Wikidata : https://www.wikidata.org/wiki/Q6822975

Propriétés

logo: Metamath logo.png

Catégories

logiciels informatique et technologie concepts abstraits