https://github.com/inaciovasquez2020/cslib-fmt

Lean 4 finite-model-theory library for locality, EF games, and invariant interfaces

cohomology cslib ef-games finite-model-theory formalization graph-theory lean lean4 locality logic

Last synced: 03 Jun 2026