PyPI recent updates for lean-repl-py https://pypi.org/project/lean-repl-py/ Recent updates to the Python Package Index for lean-repl-py en 0.1.13 https://pypi.org/project/lean-repl-py/0.1.13/ A Python application to interact with the Lean REPL. simonsorg13@gmail.com Sat, 15 Mar 2025 12:56:00 GMT 0.1.12 https://pypi.org/project/lean-repl-py/0.1.12/ A Python application to interact with the Lean REPL. simonsorg13@gmail.com Sun, 09 Mar 2025 15:35:11 GMT 0.1.11 https://pypi.org/project/lean-repl-py/0.1.11/ A Python application to interact with the Lean REPL. simonsorg13@gmail.com Sat, 08 Mar 2025 13:55:00 GMT 0.1.10 https://pypi.org/project/lean-repl-py/0.1.10/ A Python application to interact with the Lean REPL. simonsorg13@gmail.com Tue, 04 Mar 2025 17:09:53 GMT 0.1.9 https://pypi.org/project/lean-repl-py/0.1.9/ A Python application to interact with the Lean REPL. simonsorg13@gmail.com Thu, 09 Jan 2025 09:25:21 GMT 0.1.7 https://pypi.org/project/lean-repl-py/0.1.7/ A Python application to interact with the Lean REPL. simonsorg13@gmail.com Wed, 18 Dec 2024 13:44:51 GMT 0.1.6 https://pypi.org/project/lean-repl-py/0.1.6/ A Python application to interact with the Lean REPL. simonsorg13@gmail.com Wed, 18 Dec 2024 13:20:32 GMT