gentoo.mahdi.cz
dev-python
:mathlibtools
Lean prover mathlib supporting tools.
https://github.com/leanprover-community/mathlib-tools
mathlibtools-1.3.2
download
~amd64 ~x86
pypi