Skip to content

formalization(tc): verify WHNF, inference, DefEq, and the recursive method knot - #528

Merged
johnchandlerburnham merged 5 commits into
mainfrom
jcb/formalization
Aug 3, 2026
Merged

formalization(tc): verify WHNF, inference, DefEq, and the recursive method knot#528
johnchandlerburnham merged 5 commits into
mainfrom
jcb/formalization

Merge branch 'main' into jcb/formalization

f526d37
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar