| Name | Version | Summary | date |
|---|---|---|---|
| lean-server | 0.1.0 | A FastAPI-based server to interact with the Lean Theorem Prover. | 2025-08-11 11:39:37 |
| lean-runner | 0.1.0 | A Python client for the Lean Theorem Prover Server API. | 2025-08-11 11:39:34 |
| 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 |
|---|---|---|---|
| 95 | 2368 | 10586 | 311291 |