sci-mathematics/lean – Gentoo Packages

Packages

Get Gentoo!

Available Versions

Version	amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
3.9999 : 0	amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
3.50.3 : 0	~amd64	~x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
3.50.2 : 0	~amd64	~x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
3.50.1 : 0	~amd64	~x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
3.49.0 : 0	amd64	~x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc

Package Metadata

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
- debug
- threads
License

Apache-2.0
Maintainer(s)

Gentoo Mathematics Project

External Resources

CI Report (verbose)

Repology

Open Pull Requests

Git repository browser

Git log (short)