sci-mathematics/metamath – Gentoo Packages

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

Upstream
Bugs-To https://github.com/metamath/metamath-exe/issues
Remote-Id https://github.com/metamath/metamath-exe
Full description
Metamath is a tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program.
License
GPL-2
Maintainer(s)
Gentoo Mathematics Project

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