| Name | Version | Summary | date |
|---|---|---|---|
| lean-interact | 0.8.1 | LeanInteract is a Python package that allows you to interact with the Lean theorem prover. | 2025-08-14 12:32:33 |
| lean-dojo | 2.2.0 | LeanDojo: Machine Learning for Theorem Proving in Lean | 2024-12-24 16:59:10 |
| hour | day | week | total |
|---|---|---|---|
| 77 | 2337 | 10527 | 311393 |