| Name | Version | Summary | date |
|---|---|---|---|
| lean-interact | 0.8.2 | LeanInteract is a Python package that allows you to interact with the Lean theorem prover. | 2025-08-15 12:44:21 |
| lean-dojo | 2.2.0 | LeanDojo: Machine Learning for Theorem Proving in Lean | 2024-12-24 16:59:10 |
| hour | day | week | total |
|---|---|---|---|
| 74 | 1361 | 10238 | 312296 |