https://pypi.org/project/leaven/ Recent updates to the Python Package Index for leaven en https://pypi.org/project/leaven/1.1.0b33/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Tue, 26 Dec 2023 05:15:01 GMT https://pypi.org/project/leaven/1.1.0b32/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Mon, 25 Dec 2023 08:31:34 GMT https://pypi.org/project/leaven/1.1.0b31/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Sat, 09 Dec 2023 10:21:25 GMT https://pypi.org/project/leaven/1.1.0b30/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Sun, 12 Nov 2023 13:20:57 GMT https://pypi.org/project/leaven/1.1.0b29/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Fri, 03 Nov 2023 16:29:34 GMT https://pypi.org/project/leaven/1.1.0b28/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Fri, 27 Oct 2023 05:51:37 GMT https://pypi.org/project/leaven/1.1.0b27/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Wed, 25 Oct 2023 13:42:12 GMT https://pypi.org/project/leaven/1.1.0b25/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Wed, 25 Oct 2023 13:36:35 GMT https://pypi.org/project/leaven/1.1.0b24/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Wed, 25 Oct 2023 13:26:10 GMT https://pypi.org/project/leaven/1.1.0b23/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Wed, 25 Oct 2023 04:55:01 GMT https://pypi.org/project/leaven/1.1.0b22/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Tue, 24 Oct 2023 09:53:19 GMT https://pypi.org/project/leaven/1.1.0b21/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Tue, 24 Oct 2023 05:48:29 GMT https://pypi.org/project/leaven/1.1.0b20/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Tue, 24 Oct 2023 05:45:48 GMT https://pypi.org/project/leaven/1.1.0b19/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Tue, 24 Oct 2023 04:37:19 GMT https://pypi.org/project/leaven/1.1.0b18/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Tue, 24 Oct 2023 04:10:09 GMT https://pypi.org/project/leaven/1.1.0b17/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Tue, 24 Oct 2023 03:01:01 GMT https://pypi.org/project/leaven/1.1.0b16/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Tue, 24 Oct 2023 01:58:00 GMT https://pypi.org/project/leaven/1.1.0b15/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Mon, 23 Oct 2023 16:28:16 GMT https://pypi.org/project/leaven/1.1.0b14/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Mon, 23 Oct 2023 14:41:43 GMT https://pypi.org/project/leaven/1.1.0b13/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Mon, 23 Oct 2023 14:36:28 GMT https://pypi.org/project/leaven/1.1.0b12/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Mon, 23 Oct 2023 11:13:35 GMT https://pypi.org/project/leaven/1.1.0b11/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Sun, 22 Oct 2023 16:17:58 GMT https://pypi.org/project/leaven/1.1.0b10/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Sun, 22 Oct 2023 15:19:57 GMT https://pypi.org/project/leaven/1.1.0b9/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Sun, 22 Oct 2023 12:13:33 GMT https://pypi.org/project/leaven/1.1.0b8/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Sun, 22 Oct 2023 08:31:57 GMT https://pypi.org/project/leaven/1.1.0b7/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Sun, 22 Oct 2023 08:02:19 GMT https://pypi.org/project/leaven/1.1.0b6/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Sun, 22 Oct 2023 07:48:30 GMT https://pypi.org/project/leaven/1.1.0b5/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Sun, 22 Oct 2023 06:16:30 GMT https://pypi.org/project/leaven/1.1.0b4/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Sun, 22 Oct 2023 05:05:55 GMT https://pypi.org/project/leaven/1.1.0b3/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Sun, 22 Oct 2023 05:02:22 GMT https://pypi.org/project/leaven/1.1.0b2/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Sat, 21 Oct 2023 08:50:55 GMT https://pypi.org/project/leaven/1.1.0b1/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Sat, 21 Oct 2023 08:38:15 GMT https://pypi.org/project/leaven/1.0.0b2/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Thu, 19 Oct 2023 14:23:34 GMT https://pypi.org/project/leaven/1.0.0b1/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Thu, 19 Oct 2023 13:57:53 GMT https://pypi.org/project/leaven/0.0.0b7/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Thu, 19 Oct 2023 05:14:02 GMT https://pypi.org/project/leaven/0.0.0b6/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Thu, 19 Oct 2023 05:07:59 GMT https://pypi.org/project/leaven/0.0.0b5/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Thu, 19 Oct 2023 05:04:23 GMT https://pypi.org/project/leaven/0.0.0b4/ A package bridging Python and Lean verification for proof search using language models xinhuajian2000@gmail.com Thu, 19 Oct 2023 04:52:06 GMT