Пакет: metamath-databases (0.0.0~20210101.git55fe226-2)

[ Източник: metamath-databases  ]

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.

Други пакети, свързани с metamath-databases

• rec: metamath

  Language for mathematical proofs

Изтегляне на metamath-databases

Изтегляне за всички налични архитектури

Архитектура	Големина на пакета	Големина след инсталиране	Файлове
all	12 546,4 кБ	48 088,0 кБ	[списък на файловете]