toutes les options
bullseye  ] [  bookworm  ] [  sid  ]
[ Paquet source : metamath-databases  ]

Paquet : metamath-databases (0.0.0~20210101.git55fe226-2)

Liens pour metamath-databases


Ressources Debian :

Télécharger le paquet source metamath-databases :

Responsable :

Ressources externes :

Paquets similaires :

Sample databases for Metamath

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

This package contains a number of Metamath databases developed collectively by people from the Metamath project, including (Metamath Proof Explorer) and others available at

You can edit and verify these databases with any tool implementing the Metamath language, including the reference implementation available in the package metamath.

Autres paquets associés à metamath-databases

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger metamath-databases

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
all 12 546,4 ko48 088,0 ko [liste des fichiers]