sci-mathematics/lean – Gentoo Packages

Packages

Get Gentoo!

Version 4.13.0 is available upstream. Please consider updating!
It seems that version 4.13.0 is available upstream, while the latest version in the Gentoo tree is 4.11.0.
You think this warning is false? Read more about it here.

Available Versions

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

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
License
Apache-2.0
Maintainer(s)
Gentoo Mathematics Project

External Resources

CI Report (verbose)

Open Pull Requests

Git repository browser

Git log (short)