sci-mathematics/metamath-databases

Version	amd64	x86	alpha	arm	arm64	hppa	mips	ppc	ppc64	riscv	sparc
20220303 : 0 EAPI 8	~amd64	~x86	?alpha	?arm	?arm64	?hppa	?mips	?ppc	?ppc64	?riscv	?sparc

Other homepage(s)
https://github.com/metamath/set.mm/
Upstream
Bugs-To https://github.com/metamath/set.mm/issues/
Remote-Id https://github.com/metamath/set.mm
Full description
This is a collection of rigorously verified Metamath databases that specify mathematical axioms and formal proofs of theorems derived from those axioms.
USE flags
Global Use Flags
- doc
License
CC0-1.0
Maintainer(s)
Gentoo Mathematics Project

Bugs-To	https://github.com/metamath/set.mm/issues/
Remote-Id	https://github.com/metamath/set.mm