[ Pakiet źródłowy: metamath-databases ]
Pakiet: metamath-databases (0.0.0~20210101.git55fe226-2)
Odnośniki dla metamath-databases
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego metamath-databases:
- [metamath-databases_0.0.0~20210101.git55fe226-2.dsc]
- [metamath-databases_0.0.0~20210101.git55fe226.orig.tar.xz]
- [metamath-databases_0.0.0~20210101.git55fe226-2.debian.tar.xz]
Opiekun:
Zasoby zewnętrzne:
- Strona internetowa [us.metamath.org]
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 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.
Inne pakiety związane z metamath-databases
|
|
|
|
-
- rec: metamath
- Language for mathematical proofs
Pobieranie metamath-databases
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| all | 12 546,4 KiB | 48 088,0 KiB | [lista plików] |