Lean 4 development repository for overlap rigidity: local cycle-overlap invariants, FOᵏ locality interfaces, and executable proofs. Dev scaffold; authoritative artifacts released from the frozen repo.
proof-assistant locality graph-theory lean urf formal-verification lean4 rigidity entropy-depth finite-model-theory cycle-rank
-
Updated
Feb 24, 2026 - Lean