xgqt@gentoo.org Maciej Barć 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