| Name | Version | Summary | date |
|---|---|---|---|
| jixia | 1.0.0a0 | Python binding for jixia | 2025-03-01 03:40:38 |
| TinyLean | 0.1.0 | Tiny theorem prover with syntax like Lean 4 | 2025-02-08 15:09:37 |
| 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 |
| openj | 0.3.0 | Kanban for Lean manufacturing. | 2023-12-06 21:32:41 |
| openjit | 0.0.1 | Kanban for Lean manufacturing. | 2023-11-27 22:17:19 |
| hour | day | week | total |
|---|---|---|---|
| 66 | 558 | 888 | 290450 |