https://pypi.org/project/lean-reinforcement/ Recent updates to the Python Package Index for lean-reinforcement en https://pypi.org/project/lean-reinforcement/0.3.0/ Reinforcement learning for Lean theorem proving Sun, 25 Jan 2026 16:56:50 GMT https://pypi.org/project/lean-reinforcement/0.1.4/ Reinforcement learning for Lean theorem proving Sat, 13 Dec 2025 13:51:29 GMT https://pypi.org/project/lean-reinforcement/0.1.3/ Reinforcement learning for Lean theorem proving Wed, 10 Dec 2025 11:19:09 GMT https://pypi.org/project/lean-reinforcement/0.1.2/ Reinforcement learning for Lean theorem proving Tue, 09 Dec 2025 15:21:35 GMT https://pypi.org/project/lean-reinforcement/0.1.1/ Reinforcement learning for Lean theorem proving Fri, 05 Dec 2025 17:02:36 GMT