Lean4/Forty Two Exhaustion, Closure, and Downstream Consequence
Fuente:
Zenodo
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Recurso digital |
| Publié: |
Zenodo
2026
|
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866901653742944256 |
|---|---|
| author | somamaley-ux |
| author_facet | somamaley-ux |
| contents | <div class="markdown-heading"> <h1 class="heading-element">Unified Capstone Status</h1> <a class="anchor" href="https://github.com/somamaley-ux/Forty-Two/blob/main/reports/status/unified_capstone_status.md#unified-capstone-status"></a></div> <div class="markdown-heading"> <h2 class="heading-element">Manuscript</h2> <a class="anchor" href="https://github.com/somamaley-ux/Forty-Two/blob/main/reports/status/unified_capstone_status.md#manuscript"></a></div> <p>Packaged manuscript:</p> <p><code>Forty Two Exhaustion, Closure, and Downstream Consequence</code></p> <p>The <code>paper/</code> directory is the standalone manuscript source tree copied from the provided capstone project materials.</p> <div class="markdown-heading"> <h2 class="heading-element">Lean packaging</h2> <a class="anchor" href="https://github.com/somamaley-ux/Forty-Two/blob/main/reports/status/unified_capstone_status.md#lean-packaging"></a></div> <p>This standalone package contains:</p> <ul> <li><code>UnifiedCapstonePaperStatements.lean</code></li> <li><code>UnifiedCapstoneAxiomCheck.lean</code></li> <li>the imported support modules needed by the capstone surface</li> <li><code>formalization_scope.md</code></li> </ul> <div class="markdown-heading"> <h2 class="heading-element">Formalization status</h2> <a class="anchor" href="https://github.com/somamaley-ux/Forty-Two/blob/main/reports/status/unified_capstone_status.md#formalization-status"></a></div> <p>Current status:</p> <ul> <li>standalone package builds successfully</li> <li>dedicated axiom audit entry point builds successfully</li> <li>generic capstone protocol theorems are present and axiom-free</li> <li>concrete instantiated capstone system is present and axiom-free</li> <li>support-backed concrete capstone path is present and axiom-free</li> </ul> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_19575900 |
| institution | Zenodo |
| language | |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Lean4/Forty Two Exhaustion, Closure, and Downstream Consequence somamaley-ux <div class="markdown-heading"> <h1 class="heading-element">Unified Capstone Status</h1> <a class="anchor" href="https://github.com/somamaley-ux/Forty-Two/blob/main/reports/status/unified_capstone_status.md#unified-capstone-status"></a></div> <div class="markdown-heading"> <h2 class="heading-element">Manuscript</h2> <a class="anchor" href="https://github.com/somamaley-ux/Forty-Two/blob/main/reports/status/unified_capstone_status.md#manuscript"></a></div> <p>Packaged manuscript:</p> <p><code>Forty Two Exhaustion, Closure, and Downstream Consequence</code></p> <p>The <code>paper/</code> directory is the standalone manuscript source tree copied from the provided capstone project materials.</p> <div class="markdown-heading"> <h2 class="heading-element">Lean packaging</h2> <a class="anchor" href="https://github.com/somamaley-ux/Forty-Two/blob/main/reports/status/unified_capstone_status.md#lean-packaging"></a></div> <p>This standalone package contains:</p> <ul> <li><code>UnifiedCapstonePaperStatements.lean</code></li> <li><code>UnifiedCapstoneAxiomCheck.lean</code></li> <li>the imported support modules needed by the capstone surface</li> <li><code>formalization_scope.md</code></li> </ul> <div class="markdown-heading"> <h2 class="heading-element">Formalization status</h2> <a class="anchor" href="https://github.com/somamaley-ux/Forty-Two/blob/main/reports/status/unified_capstone_status.md#formalization-status"></a></div> <p>Current status:</p> <ul> <li>standalone package builds successfully</li> <li>dedicated axiom audit entry point builds successfully</li> <li>generic capstone protocol theorems are present and axiom-free</li> <li>concrete instantiated capstone system is present and axiom-free</li> <li>support-backed concrete capstone path is present and axiom-free</li> </ul> |
| title | Lean4/Forty Two Exhaustion, Closure, and Downstream Consequence |
| url | https://doi.org/10.5281/zenodo.19575900 |