https://pypi.org/project/copra-theorem-prover/ Recent updates to the Python Package Index for copra-theorem-prover en https://pypi.org/project/copra-theorem-prover/1.6.0/ Python library for running proof search using CoPra amitayush@utexas.edu Thu, 22 Jan 2026 20:56:38 GMT https://pypi.org/project/copra-theorem-prover/1.5.0/ Python library for running proof search using CoPra amitayush@utexas.edu Sat, 10 Jan 2026 22:49:22 GMT https://pypi.org/project/copra-theorem-prover/1.4.0/ Python library for running proof search using CoPra amitayush@utexas.edu Sat, 22 Nov 2025 22:00:32 GMT https://pypi.org/project/copra-theorem-prover/1.3.0/ Python library for running proof search using CoPra amitayush@utexas.edu Fri, 21 Nov 2025 06:59:36 GMT https://pypi.org/project/copra-theorem-prover/1.2.0/ Python library for running proof search using CoPra amitayush@utexas.edu Thu, 13 Nov 2025 01:46:17 GMT https://pypi.org/project/copra-theorem-prover/1.1.17/ Python library for running proof search using CoPra amitayush@utexas.edu Wed, 05 Nov 2025 19:24:56 GMT https://pypi.org/project/copra-theorem-prover/1.1.16/ Python library for running proof search using CoPra amitayush@utexas.edu Fri, 24 Oct 2025 21:29:35 GMT https://pypi.org/project/copra-theorem-prover/1.1.15/ Python library for running proof search using CoPra amitayush@utexas.edu Sun, 19 Oct 2025 18:44:47 GMT https://pypi.org/project/copra-theorem-prover/1.1.14/ Python library for running proof search using CoPra amitayush@utexas.edu Sat, 18 Oct 2025 18:24:08 GMT https://pypi.org/project/copra-theorem-prover/1.1.13/ Python library for running proof search using CoPra amitayush@utexas.edu Thu, 16 Oct 2025 19:51:32 GMT https://pypi.org/project/copra-theorem-prover/1.1.12/ Python library for running proof search using CoPra amitayush@utexas.edu Thu, 16 Oct 2025 04:35:25 GMT https://pypi.org/project/copra-theorem-prover/1.1.11/ Python library for running proof search using CoPra amitayush@utexas.edu Sat, 04 Oct 2025 04:23:44 GMT https://pypi.org/project/copra-theorem-prover/1.1.10/ Python library for running proof search using CoPra amitayush@utexas.edu Sun, 28 Sep 2025 05:06:24 GMT https://pypi.org/project/copra-theorem-prover/1.1.9/ Python library for running proof search using CoPra amitayush@utexas.edu Wed, 14 May 2025 22:55:54 GMT https://pypi.org/project/copra-theorem-prover/1.1.8/ Python library for running proof search using CoPra amitayush@utexas.edu Tue, 13 May 2025 22:21:25 GMT https://pypi.org/project/copra-theorem-prover/1.1.7/ Python library for running proof search using CoPra amitayush@utexas.edu Tue, 13 May 2025 10:03:10 GMT https://pypi.org/project/copra-theorem-prover/1.1.6/ Python library for running proof search using CoPra amitayush@utexas.edu Thu, 08 May 2025 10:30:51 GMT https://pypi.org/project/copra-theorem-prover/1.1.5/ Python library for running proof search using CoPra amitayush@utexas.edu Thu, 08 May 2025 10:00:44 GMT https://pypi.org/project/copra-theorem-prover/1.1.4/ Python library for running proof search using CoPra amitayush@utexas.edu Tue, 06 May 2025 22:14:04 GMT https://pypi.org/project/copra-theorem-prover/1.1.3/ Python library for running proof search using CoPra amitayush@utexas.edu Mon, 05 May 2025 20:40:35 GMT https://pypi.org/project/copra-theorem-prover/1.1.2/ Python library for running proof search using CoPra amitayush@utexas.edu Sat, 03 May 2025 20:12:46 GMT https://pypi.org/project/copra-theorem-prover/1.1.1/ Python library for running proof search using CoPra amitayush@utexas.edu Sun, 27 Apr 2025 23:57:15 GMT https://pypi.org/project/copra-theorem-prover/1.0.0/ Python library for running proof search using CoPra amitayush@utexas.edu Mon, 21 Apr 2025 05:49:00 GMT