Name | Version | Summary | date |
---|---|---|---|
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 |
---|---|---|---|
41 | 1191 | 6443 | 277331 |