https://github.com/inaciovasquez2020/flagship-lean
Lean4 flagship repository for the Unified Rigidity Framework. Canonical module layout, invariant-first design, and CI-stable proof skeletons used across URF projects.
https://github.com/inaciovasquez2020/flagship-lean
complexity formal-verification invariants lean lean4 logic mathlib proof-assistant rigidity theoretical-computer-science urf
Last synced: about 2 months ago
JSON representation
Lean4 flagship repository for the Unified Rigidity Framework. Canonical module layout, invariant-first design, and CI-stable proof skeletons used across URF projects.
- Host: GitHub
- URL: https://github.com/inaciovasquez2020/flagship-lean
- Owner: inaciovasquez2020
- License: other
- Created: 2026-02-09T02:28:19.000Z (3 months ago)
- Default Branch: main
- Last Pushed: 2026-03-03T12:48:52.000Z (about 2 months ago)
- Last Synced: 2026-03-03T16:28:36.756Z (about 2 months ago)
- Topics: complexity, formal-verification, invariants, lean, lean4, logic, mathlib, proof-assistant, rigidity, theoretical-computer-science, urf
- Language: Python
- Homepage: https://www.vasquezresearch.com
- Size: 310 KB
- Stars: 1
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
- Citation: CITATION.cff