Metamath
site Langage formel et assistant de preuve associé
Aussi : Metamath Proof Explorer, metamath.org
Nature : assistant de preuve, logiciel libre, site web
Catégories : logiciels · informatique et technologie · concepts abstraits
site Langage formel et assistant de preuve associé
Aussi : Metamath Proof Explorer, metamath.org
Nature : assistant de preuve, logiciel libre, site web
Catégories : logiciels · informatique et technologie · concepts abstraits