Alle Optionen
bullseye  ] [  bookworm  ] [  sid  ]
[ Quellcode: metamath-databases  ]

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

Links für metamath-databases



Quellcode-Paket metamath-databases herunterladen:


Externe Ressourcen:

Ähnliche Pakete:

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.

Andere Pakete mit Bezug zu metamath-databases

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

metamath-databases herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
all 12.546,4 kB48.088,0 kB [Liste der Dateien]