# lean-dojo/LeanDojo

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

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

lean-dojo/LeanDojo has 852 stars on GitHub. Its RepoMasters card: Beta tier. Tool for data extraction and interacting with Lean programmatically.

| Field | Value |
| --- | --- |
| Owner | [lean-dojo](https://repo.masters-masters.com/en/owners/lean-dojo) |
| Stars | 852 |
| Forks | 122 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | MIT |
| Created | 2023 |
| Topics | lean, machine-learning, theorem-proving, lean4, llm |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [lean-dojo/LeanDojo](https://github.com/lean-dojo/LeanDojo) |

## Repository

Tool for data extraction and interacting with Lean programmatically.

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## More repos by lean-dojo

- [lean-dojo/LeanCopilot · ★ 1,339 · C++ · Beta](https://repo.masters-masters.com/en/repos/lean-dojo/LeanCopilot)
- [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 · ★ 151 · 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)

## Nearby in Python

- [netease-youdao/Confucius4-TTS · ★ 852 · Python · Beta](https://repo.masters-masters.com/en/repos/netease-youdao/Confucius4-TTS)
- [Light0305/Light-skills · ★ 852 · Python · Beta](https://repo.masters-masters.com/en/repos/Light0305/Light-skills)
- [Junchao-cs/SolarWM · ★ 852 · Python · Beta](https://repo.masters-masters.com/en/repos/Junchao-cs/SolarWM)
- [philipn/django-rest-framework-filters · ★ 852 · Python · Beta](https://repo.masters-masters.com/en/repos/philipn/django-rest-framework-filters)
- [SeldomQA/seldom · ★ 852 · Python · Beta](https://repo.masters-masters.com/en/repos/SeldomQA/seldom)
- [fendouai/FaceRank · ★ 852 · Python · Beta](https://repo.masters-masters.com/en/repos/fendouai/FaceRank)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.