gentoo.mahdi.cz
dev-python
:lean-dojo
LeanDojo: Machine Learning for Theorem Proving in Lean
https://leandojo.org/
lean-dojo-1.8.0
MIT
download
~amd64 ~x86
pypi