Skip to content

proof: make Phronesis.agda compile; integrate echo-types (verdict provenance) - #39

Merged
hyperpolymath merged 2 commits into
mainfrom
claude/gifted-fermat-EmVcv
Jun 12, 2026
Merged

proof: make Phronesis.agda compile; integrate echo-types (verdict provenance)#39
hyperpolymath merged 2 commits into
mainfrom
claude/gifted-fermat-EmVcv

fix(ci): codeql language matrix javascript-typescript -> actions; rm …

33b79f8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar