Skip to content

fix(census): comment-aware proof-holes.sh, Idris2 undefined-declaration axioms; refresh 13 rows - #27

Open
hyperpolymath wants to merge 4 commits into
mainfrom
claude/ephapax-architecture-plan-gzyctr
Open

fix(census): comment-aware proof-holes.sh, Idris2 undefined-declaration axioms; refresh 13 rows#27
hyperpolymath wants to merge 4 commits into
mainfrom
claude/ephapax-architecture-plan-gzyctr

chore(canon): adopt canon 2.1.5 in the deed pin (same change as #29)

aa353b5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar