itp-interface 1.1.2__tar.gz → 1.1.4__tar.gz

{itp_interface-1.1.2 → itp_interface-1.1.4}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: itp_interface
-Version: 1.1.2
+Version: 1.1.4
 Summary: Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving.
 Project-URL: Homepage, https://github.com/trishullab/itp-interface
 Project-URL: Issues, https://github.com/trishullab/itp-interface/issues

{itp_interface-1.1.2 → itp_interface-1.1.4}/pyproject.toml

@@ -5,7 +5,7 @@ requires = [
 build-backend = "hatchling.build"
 [project]
 name = "itp_interface"
-version = "1.1.2"
+version = "1.1.4"
 authors = [
   { name="Amitayush Thakur", email="amitayush@utexas.edu" },
 ]

{itp_interface-1.1.2 → itp_interface-1.1.4}/src/itp_interface/rl/simple_proof_env.py

@@ -526,7 +526,7 @@ class ProofEnv(Env):
                 lemma_name = self._dynamic_proof_executor.get_lemma_name_if_running()
                 if lemma_name is not None:
                     lemma_name = lemma_name.strip()
-                lemma_found = lemma_name.startswith(self.lemma_name) if lemma_name is not None else False
+                lemma_found = lemma_name == self.lemma_name if lemma_name is not None else False
                 if not lemma_found:
                     _ = list(self._dynamic_proof_executor.run_to_finish_lemma_return_exec())
                     if self._dynamic_proof_executor.execution_complete:
@@ -544,7 +544,7 @@ class ProofEnv(Env):
                 lemma_name = self._dynamic_proof_executor.get_lemma_name_if_running()
                 if lemma_name is not None:
                     lemma_name = lemma_name.strip()
-                lemma_found = lemma_name.startswith(self.lemma_name) if lemma_name is not None else False
+                lemma_found = lemma_name == self.lemma_name if lemma_name is not None else False
                 if not lemma_found:
                     _ = list(self._dynamic_proof_executor.run_to_finish_lemma_return_exec())
                     if self._dynamic_proof_executor.execution_complete: