| Name | Version | Summary | date |
|---|---|---|---|
| lean-dojo | 2.1.2 | LeanDojo: Machine Learning for Theorem Proving in Lean | 2024-08-15 02:34:02 |
| 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 |
|---|---|---|---|
| 93 | 1306 | 9962 | 250566 |