https://pypi.org/project/itp-interface/ Recent updates to the Python Package Index for itp-interface en https://pypi.org/project/itp-interface/1.5.0/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Sat, 10 Jan 2026 20:14:42 GMT https://pypi.org/project/itp-interface/1.4.0/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Sat, 22 Nov 2025 21:47:11 GMT https://pypi.org/project/itp-interface/1.3.0/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Fri, 21 Nov 2025 06:40:13 GMT https://pypi.org/project/itp-interface/1.2.0/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Wed, 12 Nov 2025 17:50:47 GMT https://pypi.org/project/itp-interface/1.1.19/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Tue, 11 Nov 2025 17:38:27 GMT https://pypi.org/project/itp-interface/1.1.18/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Mon, 10 Nov 2025 11:26:18 GMT https://pypi.org/project/itp-interface/1.1.17/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Sat, 08 Nov 2025 02:52:21 GMT https://pypi.org/project/itp-interface/1.1.16/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Fri, 07 Nov 2025 21:09:32 GMT https://pypi.org/project/itp-interface/1.1.15/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Fri, 07 Nov 2025 05:47:38 GMT https://pypi.org/project/itp-interface/1.1.14/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Fri, 17 Oct 2025 01:44:38 GMT https://pypi.org/project/itp-interface/1.1.13/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Wed, 15 Oct 2025 19:31:02 GMT https://pypi.org/project/itp-interface/1.1.12/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Sat, 04 Oct 2025 04:05:36 GMT https://pypi.org/project/itp-interface/1.1.11/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Tue, 06 May 2025 21:53:33 GMT https://pypi.org/project/itp-interface/1.1.10/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Mon, 31 Mar 2025 10:05:53 GMT https://pypi.org/project/itp-interface/1.1.9/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Fri, 21 Mar 2025 17:57:11 GMT https://pypi.org/project/itp-interface/1.1.8/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Thu, 13 Mar 2025 00:33:58 GMT https://pypi.org/project/itp-interface/1.1.7/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Tue, 04 Mar 2025 01:15:09 GMT https://pypi.org/project/itp-interface/1.1.6/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Fri, 28 Feb 2025 00:01:56 GMT https://pypi.org/project/itp-interface/1.1.5/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Thu, 13 Feb 2025 19:57:05 GMT https://pypi.org/project/itp-interface/1.1.4/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Thu, 13 Feb 2025 03:55:49 GMT https://pypi.org/project/itp-interface/1.1.2/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Mon, 10 Feb 2025 08:30:05 GMT https://pypi.org/project/itp-interface/1.1.1/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Mon, 10 Feb 2025 05:08:13 GMT https://pypi.org/project/itp-interface/1.1.0/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Sun, 09 Feb 2025 09:23:21 GMT https://pypi.org/project/itp-interface/1.0.1/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Sat, 08 Feb 2025 23:58:27 GMT https://pypi.org/project/itp-interface/1.0.0/ Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving. amitayush@utexas.edu Fri, 07 Feb 2025 18:08:59 GMT