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

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

Liens pour metamath-databases

Screenshot

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 set.mm (Metamath Proof Explorer) and others available at http://us.metamath.org/.

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]