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

Pakket: metamath-databases (0.0.0~20210101.git55fe226-2)

Verwijzigingen voor metamath-databases


Debian bronnen:

Het bronpakket metamath-databases downloaden:


Externe bronnen:

Vergelijkbare pakketten:

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 (Metamath Proof Explorer) and others available at

You can edit and verify these databases with any tool implementing the Metamath language, including the reference implementation available in the package metamath.

Andere aan metamath-databases gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

metamath-databases downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
all 12.546,4 kB48.088,0 kB [overzicht]