# Dépôts de lean-dojo

<https://repo.masters-masters.com/owners/lean-dojo>

[Accueil](https://repo.masters-masters.com/) › [lean-dojo](https://repo.masters-masters.com/owners/lean-dojo)

Les 6 dépôts GitHub publics de lean-dojo, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters.

## Dépôts de lean-dojo

6 dépôts publics de lean-dojo au catalogue, du plus étoilé au moins étoilé.

- [lean-dojo/LeanCopilot · ★ 1 339 · C++ · Bêta](https://repo.masters-masters.com/repos/lean-dojo/LeanCopilot)
- [lean-dojo/LeanDojo · ★ 852 · Python · Bêta](https://repo.masters-masters.com/repos/lean-dojo/LeanDojo)
- [lean-dojo/ReProver · ★ 340 · Python · Alpha](https://repo.masters-masters.com/repos/lean-dojo/ReProver)
- [lean-dojo/TorchLean · ★ 195 · Lean · Prototype](https://repo.masters-masters.com/repos/lean-dojo/TorchLean)
- [lean-dojo/LeanDojo-v2 · ★ 151 · Python · Prototype](https://repo.masters-masters.com/repos/lean-dojo/LeanDojo-v2)
- [lean-dojo/LeanDojoChatGPT · ★ 126 · Python · Prototype](https://repo.masters-masters.com/repos/lean-dojo/LeanDojoChatGPT)

## Voir lean-dojo sur GitHub

- [https://github.com/lean-dojo](https://github.com/lean-dojo)

---
Données : GitHub