PyPI recent updates for leanback https://pypi.org/project/leanback/ Recent updates to the Python Package Index for leanback en 0.1.3 https://pypi.org/project/leanback/0.1.3/ MCP server for Lean 4 theorem proving — check, prove, goals, eval, search Thu, 26 Mar 2026 19:20:19 GMT 0.1.2 https://pypi.org/project/leanback/0.1.2/ MCP server for Lean 4 theorem proving — check, prove, goals, eval, search Sun, 08 Mar 2026 14:58:31 GMT 0.3.0 https://pypi.org/project/leanback/0.3.0/ MCP server for Lean 4 theorem proving — check, prove, eval, search Sun, 08 Mar 2026 12:12:13 GMT 0.1.1 https://pypi.org/project/leanback/0.1.1/ MCP server for Lean 4 theorem proving — check, prove, goals, eval, search Sun, 08 Mar 2026 12:12:10 GMT 0.1.0 https://pypi.org/project/leanback/0.1.0/ MCP server for Lean 4 theorem proving — check, prove, goals, eval, search Sun, 08 Mar 2026 11:46:50 GMT