všetky možnosti
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Zdroj: metamath-databases  ]

Balík: metamath-databases (0.0.0~20210101.git55fe226-2)

Odkazy pre metamath-databases

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík metamath-databases:

Správca:

Externé zdroje:

Podobné balíky:

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 set.mm (Metamath Proof Explorer) and others available at http://us.metamath.org/.

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

Ostatné balíky súvisiace s balíkom metamath-databases

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť metamath-databases

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
all 12,546.4 kB48,088.0 kB [zoznam súborov]