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_beta33MIT
download~amd64 ~x86pypi
leaven-1.1MIT
download~amd64 ~x86pypi