[ 原始碼： metamath-databases ]
套件：metamath-databases（0.0.0~20210101.git55fe226-2）
metamath-databases 的相關連結
Debian 的資源：
下載原始碼套件 metamath-databases：
- [metamath-databases_0.0.0~20210101.git55fe226-2.dsc]
- [metamath-databases_0.0.0~20210101.git55fe226.orig.tar.xz]
- [metamath-databases_0.0.0~20210101.git55fe226-2.debian.tar.xz]
維護者：
外部的資源：
- 主頁 [us.metamath.org]
相似套件：
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.