Skip to content

proof: side-build laws can import earlier ones; name clashes degrade honestly#501

Merged
jasisz merged 1 commit into
mainfrom
lane-imports-and-collision-guard
Jun 12, 2026
Merged

proof: side-build laws can import earlier ones; name clashes degrade honestly#501
jasisz merged 1 commit into
mainfrom
lane-imports-and-collision-guard

proof: side-build laws can import earlier ones; name clashes degrade …

41db1d4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar