| Name | Version | Summary | date |
|---|---|---|---|
| lean-interact | 0.1.0 | LeanInteract is a Python package that allows you to interact with the Lean theorem prover. | 2025-02-05 17:09:42 |
| lean-dojo | 2.2.0 | LeanDojo: Machine Learning for Theorem Proving in Lean | 2024-12-24 16:59:10 |
| hour | day | week | total |
|---|---|---|---|
| 51 | 1305 | 10294 | 302802 |