Canonical frozen Lean dependency for the Final Wall. Status: conditional (single axiom isolated). Tag: overlap-rigidity-frozen-v1
-
Notifications
You must be signed in to change notification settings - Fork 0
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.
https://github.com/inaciovasquez2020/overlap-rigidity-lean
License
inaciovasquez2020/overlap-rigidity-lean-dev
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
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.
https://github.com/inaciovasquez2020/overlap-rigidity-lean