PrototypeCommon
augustepoiroux/LeanInteract
LeanInteract: A Python Interface for Lean 4
- Owner
- augustepoiroux (personal account)
- Stars
- Stars: 135
- Forks
- Forks: 14
- Language
- Python
- License
- MIT
- Created
- 2025
- Topics
- autoformalizationlean4machine-learningpythontheorem-proving
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Python
All Python repos- UnderleveledBuilder/awesome-social-media-skillsStars: 135PythonPrototype
- Mayzmei/anime-series-makerStars: 135PythonPrototype
- AssassinCreator/steam-stash-value-report-cardStars: 135PythonPrototype
- simonw/optfuncStars: 135PythonPrototype
- alexdej/puzpyStars: 135PythonPrototype
- justquick/python-varnishStars: 135PythonPrototype