sci-mathematics/mathlib-tools

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

Upstream

Changelog	https://github.com/leanprover-community/mathlib-tools/blob/master/CHANGELOG.md
Bugs-To	https://github.com/leanprover-community/mathlib-tools/issues
Remote-Id	https://github.com/leanprover-community/mathlib-tools

Full description
This package contains leanproject, a supporting tool for Lean mathlib. More info: - https://leanprover-community.github.io/toolchain.html#handling-dependencies - https://leanprover-community.github.io/leanproject.html
USE flags
Global Use Flags
- test
python_targets (Use Expand)
License
Apache-2.0
Maintainer(s)
Gentoo Mathematics Project