sci-mathematics/lean – Gentoo Packages

Version	amd64	x86	alpha	arm	arm64	hppa	mips	ppc	ppc64	riscv	sparc
4.11.0 : 0/4 EAPI 8	~amd64	?x86	?alpha	?arm	?arm64	?hppa	?mips	?ppc	?ppc64	?riscv	?sparc
4.2.0 : 0/4 EAPI 8	amd64	?x86	?alpha	?arm	?arm64	?hppa	?mips	?ppc	?ppc64	?riscv	?sparc
3.51.1 : 0/3 EAPI 8	amd64	~x86	?alpha	?arm	?arm64	?hppa	?mips	?ppc	?ppc64	?riscv	?sparc

Upstream
Bugs-To https://github.com/leanprover-community/lean/issues
Remote-Id https://github.com/leanprover-community/lean
Full description
The Lean theorem prover is a proof assistant developed principally by Leonardo de Moura at Microsoft Research.
USE flags
Global Use Flags
License
Apache-2.0
Maintainer(s)
Gentoo Mathematics Project

Bugs-To	https://github.com/leanprover-community/lean/issues
Remote-Id	https://github.com/leanprover-community/lean