PyPI recent updates for lmms-lean-client https://pypi.org/project/lmms-lean-client/ Recent updates to the Python Package Index for lmms-lean-client en 0.0.1.dev4 https://pypi.org/project/lmms-lean-client/0.0.1.dev4/ A Python client for the Lean Theorem Prover Server API. FPU001@e.ntu.edu.sg Fri, 08 Aug 2025 09:11:56 GMT 0.0.1.dev3 https://pypi.org/project/lmms-lean-client/0.0.1.dev3/ A Python client for the Lean Theorem Prover Server API. FPU001@e.ntu.edu.sg Wed, 06 Aug 2025 02:12:47 GMT 0.0.1.dev2 https://pypi.org/project/lmms-lean-client/0.0.1.dev2/ A Python client for the Lean Theorem Prover Server API. FPU001@e.ntu.edu.sg Tue, 05 Aug 2025 14:39:34 GMT 0.0.1.dev1 https://pypi.org/project/lmms-lean-client/0.0.1.dev1/ A Python client for the Lean Theorem Prover Server API. FPU001@e.ntu.edu.sg Tue, 05 Aug 2025 06:32:13 GMT