Terminal obstruction (Cyclone) for locality-bounded computation: overlap-rank BOM, AKR CPD₁ kernel, entropy-depth lower bounds, and Lean formalization toward P≠NP.
entropy information-theory logic proof-assistant locality lean kernel-methods formal-verification computational-complexity p-vs-np expanders rigidity finite-model-theory ef-games
-
Updated
Feb 23, 2026 - Lean