https://pypi.org/project/isabelle-blueprint/ Recent updates to the Python Package Index for isabelle-blueprint en https://pypi.org/project/isabelle-blueprint/1.17.0/ Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects. Fri, 19 Jun 2026 21:13:16 GMT https://pypi.org/project/isabelle-blueprint/1.16.0/ Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects. Fri, 19 Jun 2026 20:26:09 GMT https://pypi.org/project/isabelle-blueprint/1.15.0/ Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects. Fri, 19 Jun 2026 17:00:33 GMT https://pypi.org/project/isabelle-blueprint/1.14.0/ Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects. Wed, 17 Jun 2026 21:22:36 GMT https://pypi.org/project/isabelle-blueprint/1.13.0/ Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects. Wed, 17 Jun 2026 16:50:16 GMT https://pypi.org/project/isabelle-blueprint/1.11.0/ Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects. Fri, 05 Jun 2026 20:40:54 GMT https://pypi.org/project/isabelle-blueprint/1.10.0/ Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects. Fri, 05 Jun 2026 14:53:27 GMT https://pypi.org/project/isabelle-blueprint/1.9.0/ Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects. Thu, 04 Jun 2026 18:43:02 GMT https://pypi.org/project/isabelle-blueprint/1.8.1/ Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects. Thu, 04 Jun 2026 00:26:18 GMT https://pypi.org/project/isabelle-blueprint/1.8.0/ Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects. Wed, 03 Jun 2026 21:13:09 GMT https://pypi.org/project/isabelle-blueprint/1.7.1/ Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects. Tue, 02 Jun 2026 14:46:34 GMT https://pypi.org/project/isabelle-blueprint/1.7.0/ Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects. Tue, 02 Jun 2026 00:15:51 GMT https://pypi.org/project/isabelle-blueprint/1.6.0/ Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects. Mon, 01 Jun 2026 20:59:47 GMT https://pypi.org/project/isabelle-blueprint/1.5.2/ Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects. Mon, 01 Jun 2026 20:03:56 GMT https://pypi.org/project/isabelle-blueprint/1.5.1/ Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects. Mon, 01 Jun 2026 19:38:28 GMT https://pypi.org/project/isabelle-blueprint/1.5.0/ Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects. Mon, 01 Jun 2026 19:09:50 GMT https://pypi.org/project/isabelle-blueprint/1.2.0/ Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects. Mon, 01 Jun 2026 03:32:51 GMT https://pypi.org/project/isabelle-blueprint/1.0.0/ Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects. Mon, 01 Jun 2026 00:28:45 GMT