wszystkie opcje
bullseye  ] [  bookworm  ] [  sid  ]
[ Pakiet źródłowy: metamath-databases  ]

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

Odnośniki dla metamath-databases


Zasoby systemu Debian:

Pobieranie pakietu źródłowego metamath-databases:


Zasoby zewnętrzne:

Podobne pakiety:

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.

Inne pakiety związane z metamath-databases

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie metamath-databases

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
all 12 546,4 KiB48 088,0 KiB [lista plików]