# GitHub repos by lean-dojo

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

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

All 6 public GitHub repos by lean-dojo in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by lean-dojo

6 public repos by lean-dojo in the catalog, most starred first.

- [lean-dojo/LeanCopilot · ★ 1,340 · C++ · Beta](https://repo.masters-masters.com/en/repos/lean-dojo/LeanCopilot)
- [lean-dojo/LeanDojo · ★ 852 · Python · Beta](https://repo.masters-masters.com/en/repos/lean-dojo/LeanDojo)
- [lean-dojo/ReProver · ★ 340 · Python · Alpha](https://repo.masters-masters.com/en/repos/lean-dojo/ReProver)
- [lean-dojo/TorchLean · ★ 195 · Lean · Prototype](https://repo.masters-masters.com/en/repos/lean-dojo/TorchLean)
- [lean-dojo/LeanDojo-v2 · ★ 152 · Python · Prototype](https://repo.masters-masters.com/en/repos/lean-dojo/LeanDojo-v2)
- [lean-dojo/LeanDojoChatGPT · ★ 126 · Python · Prototype](https://repo.masters-masters.com/en/repos/lean-dojo/LeanDojoChatGPT)

## See lean-dojo on GitHub

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

---
Data: GitHub