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

Пакунок: 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.

Інші пакунки пов'язані з metamath-databases

  • depends
  • recommends
  • suggests
  • enhances

Завантажити metamath-databases

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
all 12,546.4 kB48,088.0 kB [список файлів]