Skip to content

v4 B1-CANON: design the canonical-form clause in-header (not delegated) - #3157

Merged
briansrls merged 5 commits into
mainfrom
v4-canonical-form
May 16, 2026
Merged

v4 B1-CANON: design the canonical-form clause in-header (not delegated)#3157
briansrls merged 5 commits into
mainfrom
v4-canonical-form

v4 B1-CANON: α-equivalence is a merkle_fold property, not a canonical…

600f1c5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar