alle opties
bullseye  ] [  bookworm  ] [  sid  ]
[ Bron: metamath  ]

Pakket: metamath (0.195-1)

Verwijzigingen voor metamath


Debian bronnen:

Het bronpakket metamath downloaden:


Externe bronnen:

Vergelijkbare pakketten:

Language for mathematical proofs

Metamath is a tiny language for expressing theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program.

This program is the reference implementation of the language. It provides a proof checker, a proof editor and tools to automatically render theorems and proofs to HTML and LaTeX files.

This package does not contain proof databases, but the tools to deal with them. The user can create their own databases, use those available on the Internet or provided by the metamath-databases package.

Andere aan metamath gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

metamath downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
amd64 335,6 kB838,0 kB [overzicht]
arm64 332,6 kB797,0 kB [overzicht]
armel 314,7 kB796,0 kB [overzicht]
armhf 307,6 kB624,0 kB [overzicht]
i386 341,0 kB940,0 kB [overzicht]
mips64el 347,4 kB915,0 kB [overzicht]
mipsel 352,6 kB927,0 kB [overzicht]
ppc64el 382,8 kB1.042,0 kB [overzicht]
s390x 302,6 kB869,0 kB [overzicht]