Skip to content

Housekeeping: reconcile machine-readable metadata + fix template drift (post echo-types) - #38

Merged
hyperpolymath merged 2 commits into
mainfrom
claude/hopeful-fermi-iXnba
Jun 6, 2026
Merged

Housekeeping: reconcile machine-readable metadata + fix template drift (post echo-types)#38
hyperpolymath merged 2 commits into
mainfrom
claude/hopeful-fermi-iXnba

docs(readme): note echo types + decidability in the mechanised-proofs…

f4ba0e7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar