metamath-databases
Sample databases for Metamath
This is a collection of rigorously verified Metamath databases that specify mathematical axioms and formal proofs of theorems derived from those axioms.
homepage ↗homepage ↗ github: metamath/set.mm
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| gentoo gitweb ↗ | 20220303 | 1 | 13 h | details › |
Versions & arches
Use flags of 20220303
- doc Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally