[ Source: metamath-databases ]
Package: metamath-databases (0.0.0~20210101.git55fe226-2)
Links for metamath-databases
Debian Resources:
Download Source Package 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]
Maintainer:
External Resources:
- Homepage [us.metamath.org]
Similar packages:
Eksempler på databaser for Metamath
Metamath er en meget lille sprog til at udtrykke teoremer i abstrakt matematik, med medfølgende beviser, der kan verificeres af et computerprogram.
Denne pakke indeholder et antal Metamath-databaser udviklet kollektivt af folk fra Metamath-projektet, inklusive set.mm (Metamath Proof Explorer) og andre tilgængelige på http://us.metamath.org/.
Du kan redigere og verificere disse databaser med ethvert værktøj, der implementerer sproget Metamath, inklusive referenceimplementeringen tilgængelig i pakken metamath.
Other Packages Related to metamath-databases
|
|
|
|
-
- rec: metamath
- Language for mathematical proofs
Download metamath-databases
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 12,546.4 kB | 48,088.0 kB | [list of files] |