Summary
This is a collection of rigorously verified Metamath databases that specify mathematical axioms and formal proofs of theorems derived from those axioms.
Versions
v20220303 :: 0 :: gentoo
- Modified
- License
- CC0-1.0
- Keywords
- ~amd64 ~x86
- USE flags
- doc
USE flags
General
- doc
- Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
Runtime Dependencies
sci-mathematics / metamath : Proof verifier based on a minimalistic formalism
Change logs
- 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>