ef-games

Here are 2 public repositories matching this topic...

inaciovasquez2020 / cyclone-terminal-obstruction

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 Mar 3, 2026
Lean

christinkempa00 / cyclone-terminal-obstruction

Star

Isolate and analyze the final terminal obstruction in FOᵏ-locality programs to determine limits on structure overlap and complexity in logic models.

entropy information-theory logic proof-assistant locality lean kernel-methods formal-verification computational-complexity github-config expanders rigidity finite-model-theory ef-games

Updated Mar 7, 2026
Lean

Improve this page

Add a description, image, and links to the ef-games topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the ef-games topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly