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!
|
| _version_ | 1866901482979196928 |
|---|---|
| author | Inacio F. Vasquez |
| author_facet | Inacio F. Vasquez |
| 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> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_18896925 |
| institution | Zenodo |
| language | |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | inaciovasquez2020/flagship-lean: flagship-lean-cert-v1 Inacio F. Vasquez <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> |
| title | inaciovasquez2020/flagship-lean: flagship-lean-cert-v1 |
| url | https://doi.org/10.5281/zenodo.18896925 |