sci-mathematics@gentoo.org Gentoo Mathematics Project 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 https://github.com/leanprover-community/mathlib-tools/issues leanprover-community/mathlib-tools