Merge pull request #169 from stanford-centaur/chore/version

build: Update upstream to v0.3.13, Lean v4.27.0

Author: lenianiva

pantograph/test_server.py

@@ -7,7 +7,7 @@ def test_version(self):
         """
         NOTE: Update this after upstream updates.
         """
-        self.assertEqual(get_version(), "0.3.12")
+        self.assertEqual(get_version(), "0.3.13")
 
     def test_server_init_del(self):
         import warnings

pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "pantograph"
-version = "0.3.11"
+version = "0.3.13"
 description = "A Machine-to-Machine Interaction System for Lean"
 license = "Apache-2.0"
 readme = "README.md"