https://pypi.org/project/proof-wala/ Recent updates to the Python Package Index for proof-wala en https://pypi.org/project/proof-wala/1.1.9/ Python library for training LLMs with Interactive Theorem Proving data. amitayush@utexas.edu Sat, 22 Mar 2025 23:36:05 GMT https://pypi.org/project/proof-wala/1.1.6/ Python library for training LLMs with Interactive Theorem Proving data. amitayush@utexas.edu Fri, 28 Feb 2025 00:22:51 GMT https://pypi.org/project/proof-wala/1.1.5/ Python library for training LLMs with Interactive Theorem Proving data. amitayush@utexas.edu Fri, 14 Feb 2025 02:54:26 GMT https://pypi.org/project/proof-wala/1.1.4/ Python library for training LLMs with Interactive Theorem Proving data. amitayush@utexas.edu Thu, 13 Feb 2025 04:12:23 GMT https://pypi.org/project/proof-wala/1.1.3/ Python library for training LLMs with Interactive Theorem Proving data. amitayush@utexas.edu Tue, 11 Feb 2025 22:01:38 GMT https://pypi.org/project/proof-wala/1.1.2/ Python library for training LLMs with Interactive Theorem Proving data. amitayush@utexas.edu Mon, 10 Feb 2025 08:46:20 GMT https://pypi.org/project/proof-wala/1.0.0/ Python library for training LLMs with Interactive Theorem Proving data. amitayush@utexas.edu Mon, 10 Feb 2025 05:21:14 GMT