Package: metamath-databases (0.0.0~20210101.git55fe226-2)
Links for metamath-databases
Download Source Package metamath-databases:
- Homepage [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.
Other Packages Related to metamath-databases
- rec: metamath
- Language for mathematical proofs
|Architecture||Package Size||Installed Size||Files|
|all||12,546.4 kB||48,088.0 kB||[list of files]|