axiom-node

This content is not available in your language yet.

Граница workspace/orchestration для долгоживущих Axiom-узлов. v0.2 вводит постоянные классы артефактов для спецификаций, кандидатов, контрпримеров, доказательств, событий DAG и runtime-состояния.

Связанные исследования

Этот компонент входит в исследовательский проект Axiom. Все компоненты собраны по теме localzet-axiom. Основной язык документации — русский. Исследовательские результаты и ограничения не означают готовность к промышленному применению.

Исходный код · MIT