# augustepoiroux/LeanInteract

<https://repo.masters-masters.com/repos/augustepoiroux/LeanInteract>

[Accueil](https://repo.masters-masters.com/) › [augustepoiroux](https://repo.masters-masters.com/owners/augustepoiroux) › [LeanInteract](https://repo.masters-masters.com/repos/augustepoiroux/LeanInteract)

augustepoiroux/LeanInteract, dépôt open source à 135 étoiles sur GitHub. Carte Prototype de RepoMasters. LeanInteract: A Python Interface for Lean 4

| Champ | Valeur |
| --- | --- |
| Propriétaire | [augustepoiroux](https://repo.masters-masters.com/owners/augustepoiroux) |
| Étoiles | 135 |
| Forks | 14 |
| Langage | [Python](https://repo.masters-masters.com/languages/python) |
| Licence | MIT |
| Création | 2025 |
| Sujets | autoformalization, lean4, machine-learning, python, theorem-proving |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [augustepoiroux/LeanInteract](https://github.com/augustepoiroux/LeanInteract) |

## Fiche du dépôt

LeanInteract: A Python Interface for Lean 4

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## D’autres dépôts Python

- [Coding-Doctor-Omar/reddrix · ★ 135 · Python · Prototype](https://repo.masters-masters.com/repos/Coding-Doctor-Omar/reddrix)
- [actvero/actvero · ★ 135 · Python · Prototype](https://repo.masters-masters.com/repos/actvero/actvero)
- [aicodeking/deepseek-stack · ★ 135 · Python · Prototype](https://repo.masters-masters.com/repos/aicodeking/deepseek-stack)
- [simonw/optfunc · ★ 135 · Python · Prototype](https://repo.masters-masters.com/repos/simonw/optfunc)
- [alexdej/puzpy · ★ 135 · Python · Prototype](https://repo.masters-masters.com/repos/alexdej/puzpy)
- [justquick/python-varnish · ★ 135 · Python · Prototype](https://repo.masters-masters.com/repos/justquick/python-varnish)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.