Paquet : metamath (0.195-1)

Liens pour metamath

Ressources Debian :

Télécharger le paquet source metamath :

Responsable :

Giovanni Mascellani (Page QA)

Ressources externes :

Page d'accueil [us.metamath.org]

Paquets similaires :

Language for mathematical proofs

Metamath is a tiny language for expressing theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program.

This program is the reference implementation of the language. It provides a proof checker, a proof editor and tools to automatically render theorems and proofs to HTML and LaTeX files.

This package does not contain proof databases, but the tools to deal with them. The user can create their own databases, use those available on the Internet or provided by the metamath-databases package.

Autres paquets associés à metamath

dépendances

recommandations

suggestions

enhances

dep: libc6 (>= 2.14) [amd64]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb

dep: libc6 (>= 2.17) [arm64, ppc64el]

dep: libc6 (>= 2.4) [non amd64, arm64, ppc64el]

sug: metamath-databases

Sample databases for Metamath

Télécharger metamath

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	335,6 ko	838,0 ko	[liste des fichiers]
arm64	332,6 ko	797,0 ko	[liste des fichiers]
armel	314,7 ko	796,0 ko	[liste des fichiers]
armhf	307,6 ko	624,0 ko	[liste des fichiers]
i386	341,0 ko	940,0 ko	[liste des fichiers]
mips64el	347,4 ko	915,0 ko	[liste des fichiers]
mipsel	352,6 ko	927,0 ko	[liste des fichiers]
ppc64el	382,8 ko	1 042,0 ko	[liste des fichiers]
s390x	302,6 ko	869,0 ko	[liste des fichiers]