| Name | Version | Summary | date |
|---|---|---|---|
| lean-server | 0.0.1 | A FastAPI-based server to interact with the Lean Theorem Prover. | 2025-08-10 16:43:47 |
| lean-runner | 0.0.1 | A Python client for the Lean Theorem Prover Server API. | 2025-08-10 16:43:44 |
| simple-lean-client | 0.0.1.dev4 | A Python client for the Lean Theorem Prover Server API. | 2025-08-09 03:19:53 |
| lmms-lean-server | 0.0.1.dev4 | A FastAPI-based server to interact with the Lean Theorem Prover. | 2025-08-06 05:24:12 |
| lmms-lean-client | 0.0.1.dev3 | A Python client for the Lean Theorem Prover Server API. | 2025-08-06 02:12:49 |
| hour | day | week | total |
|---|---|---|---|
| 37 | 1391 | 10470 | 309376 |