Skip to content

Idris htSubst COMPLETE (all 15 cases) + substLemma0 — substitution layer of #108 - #119

Merged
hyperpolymath merged 3 commits into
mainfrom
claude/dreamy-hypatia-O8XHo
Jun 20, 2026
Merged

Idris htSubst COMPLETE (all 15 cases) + substLemma0 — substitution layer of #108#119
hyperpolymath merged 3 commits into
mainfrom
claude/dreamy-hypatia-O8XHo

docs(proofs): update STATUS registry — htSubst complete + substLemma0…

25a4f8b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar