PrototypeCommune
augustepoiroux/LeanInteract
LeanInteract: A Python Interface for Lean 4
- Propriétaire
- augustepoiroux (compte personnel)
- Étoiles
- Étoiles : 135
- Forks
- Forks : 14
- Langage
- Python
- Licence
- MIT
- Création
- 2025
- Sujets
- autoformalizationlean4machine-learningpythontheorem-proving
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Python
Tous les dépôts Python- UnderleveledBuilder/awesome-social-media-skillsÉtoiles : 135PythonPrototype
- Mayzmei/anime-series-makerÉtoiles : 135PythonPrototype
- AssassinCreator/steam-stash-value-report-cardÉtoiles : 135PythonPrototype
- simonw/optfuncÉtoiles : 135PythonPrototype
- alexdej/puzpyÉtoiles : 135PythonPrototype
- justquick/python-varnishÉtoiles : 135PythonPrototype