tensor-logic

Tensor logic representation and proof system for program verification. Part of the Bridge architecture compiler.

Status

Pre-implementation. Prototype ladder defined in AGENTS.md.

Quick start

go build ./cmd/tlogic
go test ./...
go vet ./...

License

MIT