gentoo.mahdi.cz
dev-python
:leaven
A package bridging Python and Lean verification for proof search using language models
https://github.com/xinhjBrant/leaven
leaven-1.1.0_beta33
MIT
download
~amd64 ~x86
pypi
leaven-1.1
MIT
download
~amd64 ~x86
pypi