Saved in:
| Main Author: | |
|---|---|
| Format: | Recurso digital |
| Language: | |
| Published: |
Zenodo
2026
|
| Online Access: | https://doi.org/10.5281/zenodo.18896925 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- <p>Flagship Lean formal verification certificate.</p> <p>This release contains the first certified Lean artifact for the flagship formalization layer of the Unified Rigidity Framework.</p> <p>Contents</p> <ul> <li>Lean theorem modules</li> <li>verified build configuration</li> <li>proof skeletons and formal structure</li> <li>repository snapshot used to produce the certificate</li> </ul> <p>Purpose Establish a reproducible Lean verification baseline for the flagship formal proof environment.</p> <p>Status Formalization stage: early certificate Proof coverage: partial Build: verified</p> <p>Future releases will expand theorem coverage and integrate additional URF formal components.</p>