Tarkennettu haku
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: metamath-databases  ]

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

Links for metamath-databases

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti metamath-databases:

Ylläpitäjä:

External Resources:

Samankaltaisia paketteja:

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.

Muut pakettiin metamath-databases liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi metamath-databases

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
all 12,546.4 kt48,088.0 kt [tiedostoluettelo]