gentoo.mahdi.cz
sci-mathematics
:mathlib-tools
Development tools for Lean's mathlib
https://github.com/leanprover-community/mathlib-tools
mathlib-tools-1.3.2_p1
Apache-2.0
download
~amd64 ~x86
gentoo