[ 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:
database d'esempio per Metamath
Metamath รจ un piccolissimo linguaggio per esprimere teoremi in matematica astratta, accompagnati da dimostrazioni che possono essere verificate da un programma al computer.
Questo pacchetto contiene diversi database Metamath sviluppati collettivamente dai partecipanti al progetto Metamath, incluso set.mm (Metamath Proof Explorer) e altri disponibili su http://us.metamath.org/.
Si possono modificare e verificare questi database con qualsiasi strumento che implementa il linguaggio Metamath, inclusa l'implementazione di riferimento disponibile nel pacchetto metamath.
Other Packages Related to metamath-databases
|
|
|
|
-
- rec: metamath
- linguaggio per dimostrazioni matematiche
Download metamath-databases
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 12,546.4 kB | 48,088.0 kB | [list of files] |