Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
dev-python
/leaven
A package bridging Python and Lean verification for proof search using language models
Screenshots
https://github.com/xinhjBrant/leaven
leaven-1.1.0_beta33
~amd64 ~x86
python_targets_python3_11 python_targets_python3_12 python_targets_python3_13 python_targets_python3_14
View
Download
Browse
License: MIT
Overlay:
pypi
leaven-1.1
~amd64 ~x86
python_targets_python3_11 python_targets_python3_12 python_targets_python3_13 python_targets_python3_14
View
Download
Browse
License: MIT
Overlay:
pypi
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
View
Download
Browse