Skip to content

proofs(lean4): promote ET-2 to main — L1 conversion is decidable - #27

Merged
hyperpolymath merged 8 commits into
mainfrom
proofs/lean4-l1-l2
Jul 27, 2026
Merged

proofs(lean4): promote ET-2 to main — L1 conversion is decidable#27
hyperpolymath merged 8 commits into
mainfrom
proofs/lean4-l1-l2

chore(estate): delete the corrupted anti-Zig check (owner ruling)

0ade7de
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar