PyPI page
Home page
Author:
IsabelleBlueprint contributors
License:
MIT License
Copyright (c) 2026 IsabelleBlueprint contributors
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software an...
Summary:
Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects.
Latest version:
1.17.0
Required dependencies:
jinja2
|
pyyaml
Optional dependencies:
build
|
jsonschema
|
mcp
|
mypy
|
pytest
|
pytest-cov
|
ruff
|
types-pyyaml
Downloads last day:
0
Downloads last week:
102
Downloads last month:
836