[ Source: metamath ]
Package: metamath (0.195-1 and others)
Links for metamath
Debian Resources:
Download Source Package metamath:
Maintainer:
External Resources:
- Homepage [us.metamath.org]
Similar packages:
linguaggio per dimostrazioni matematiche
Metamath è un piccolissimo linguaggio per esprimere teoremi in matematica astratta, accompagnati da dimostrazioni che possono essere verificate da un programma al computer.
Questo programma è l'implementazione di riferimento del linguaggio. Fornisce un verificatore delle dimostrazioni, un editor di dimostrazioni e strumenti per fare automaticamente il rendering di teoremi e dimostrazioni in file HTML e LaTeX.
Questo pacchetto non contiene database di dimostrazioni, ma gli strumenti per lavorare con essi. L'utente può creare i propri database o usare quelli disponibili su Internet o forniti dal pacchetto metamath-databases.
Other Packages Related to metamath
|
|
|
|
-
- dep: libc6 (>= 2.14) [amd64]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.16) [x32]
- dep: libc6 (>= 2.17) [ppc64el]
- dep: libc6 (>= 2.3.4) [hppa]
- dep: libc6 (>= 2.31) [sh4]
- dep: libc6 (>= 2.34) [arm64, riscv64]
- dep: libc6 (>= 2.36) [loong64]
- dep: libc6 (>= 2.4) [armel, armhf, i386, m68k, mips64el, ppc64, s390x, sparc64]
-
- dep: libc6.1 (>= 2.31) [ia64]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.4) [alpha]
-
- sug: metamath-databases
- database d'esempio per Metamath
Download metamath
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 0.195-1 | 388.8 kB | 978.0 kB | [list of files] |
| amd64 | 0.195-1 | 335.6 kB | 838.0 kB | [list of files] |
| arm64 | 0.195-1+b1 | 342.1 kB | 850.0 kB | [list of files] |
| armel | 0.195-1 | 314.7 kB | 796.0 kB | [list of files] |
| armhf | 0.195-1 | 307.6 kB | 624.0 kB | [list of files] |
| hppa (unofficial port) | 0.195-1 | 343.5 kB | 789.0 kB | [list of files] |
| i386 | 0.195-1 | 341.0 kB | 940.0 kB | [list of files] |
| ia64 (unofficial port) | 0.195-1 | 517.3 kB | 1,730.0 kB | [list of files] |
| loong64 (unofficial port) | 0.195-1 | 343.7 kB | 803.0 kB | [list of files] |
| m68k (unofficial port) | 0.195-1 | 320.6 kB | 888.0 kB | [list of files] |
| mips64el | 0.195-1 | 347.4 kB | 915.0 kB | [list of files] |
| ppc64 (unofficial port) | 0.195-1 | 353.4 kB | 978.0 kB | [list of files] |
| ppc64el | 0.195-1 | 382.8 kB | 1,042.0 kB | [list of files] |
| riscv64 | 0.195-1+b1 | 384.7 kB | 750.0 kB | [list of files] |
| s390x | 0.195-1 | 302.6 kB | 869.0 kB | [list of files] |
| sh4 (unofficial port) | 0.195-1 | 393.5 kB | 749.0 kB | [list of files] |
| sparc64 (unofficial port) | 0.195-1 | 315.2 kB | 843.0 kB | [list of files] |
| x32 (unofficial port) | 0.195-1 | 342.6 kB | 820.0 kB | [list of files] |