sci-mathematics / metamath-databases

Sample databases for Metamath

Official package sites : http://us.metamath.org/mpeuni/mmset.html · https://github.com/metamath/set.mm/ ·

This is a collection of rigorously verified Metamath databases that specify mathematical axioms and formal proofs of theorems derived from those axioms.

v20220303 :: 0 :: gentoo

Modified
License
CC0-1.0
Keywords
~amd64 ~x86
USE flags
doc

General

doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally

sci-mathematics / metamath : Proof verifier based on a minimalistic formalism

Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/metamath-databases: H -> COMMIT
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/metamath-databases: new package; add 20220303 (2022.03.03 snapshot)
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>