Sanna

Specification language for AI-assisted development with formal verification, confidence tracking, and provenance.

Name		Name	Last commit message	Last commit date
Latest commit History 22 Commits
.claude		.claude
.github/workflows		.github/workflows
carbide		carbide
docs		docs
editors		editors
examples		examples
src		src
.gitignore		.gitignore
CLAUDE.md		CLAUDE.md
DESIGN.md		DESIGN.md
LICENSE		LICENSE
PLAN.md		PLAN.md
README.md		README.md
build.zig		build.zig
build.zig.zon		build.zig.zon

Provide feedback