Skip to content

Formalize anchored barriers and checked finite cycle extraction - #5

Merged
Chessing234 merged 1 commit into
mainfrom
research/anchored-barrier-kernel
Oct 7, 2026
Merged

Formalize anchored barriers and checked finite cycle extraction#5
Chessing234 merged 1 commit into
mainfrom
research/anchored-barrier-kernel

proof: formalize anchored barrier kernels and finite cycle certificates

d4088d9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar