| Name | Version | Summary | date |
| jixia |
1.0.1 |
Python binding for jixia |
2025-10-26 22:00:35 |
| lean-interact |
0.8.2 |
LeanInteract is a Python package that allows you to interact with the Lean theorem prover. |
2025-08-15 12:44:21 |
| 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 |
| pylean |
0.0.1a0 |
Pure Python interaction with Lean 4 theorem prover |
2025-08-05 08:45:45 |
| TinyLean |
0.1.0 |
Tiny theorem prover with syntax like Lean 4 |
2025-02-08 15:09:37 |
| 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 |