all options
bullseye  ] [  bookworm  ] [  sid  ]
[ Source: metamath-databases  ]

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

Links for metamath-databases


Debian Resources:

Download Source Package metamath-databases:


External Resources:

Similar packages:

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.

Other Packages Related to metamath-databases

  • depends
  • recommends
  • suggests
  • enhances

Download metamath-databases

Download for all available architectures
Architecture Package Size Installed Size Files
all 12,546.4 kB48,088.0 kB [list of files]