Release 0.2.0

oOo0oOo · oOo0oOo · commit ecb590dcbd09 · 2025-06-13T16:24:29.000+02:00
diff --git a/pyproject.toml b/pyproject.toml
@@ -1,6 +1,6 @@
 [project]
 name = "lean-lsp-mcp"
-version = "0.1.11"
+version = "0.2.0"
 description = "Lean Theorem Prover MCP"
 authors = [{name="Oliver Dressler", email="hey@oli.show"}]
 readme = "README.md"
