Lean Reflexive Closure (Lean formalization)
Fuente:
Zenodo
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Recurso digital |
| Pubblicazione: |
Zenodo
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866901940927987712 |
|---|---|
| author | Spivack, Nova |
| author_facet | Spivack, Nova |
| contents | Lean 4 software archive for the **NEMS** program: **Lean Reflexive Closure**. This Zenodo record bundles a pinned Git snapshot of the formalization. Exact file scope and revision policy appear in the repository manifest shipped with the archive. Cite using the Zenodo DOI after publication. When available, add companion articles or public repository URLs to Zenodo `related_identifiers`. |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_20155370 |
| institution | Zenodo |
| language | |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Lean Reflexive Closure (Lean formalization) Spivack, Nova Lean 4 formal verification Lean 4 software archive for the **NEMS** program: **Lean Reflexive Closure**. This Zenodo record bundles a pinned Git snapshot of the formalization. Exact file scope and revision policy appear in the repository manifest shipped with the archive. Cite using the Zenodo DOI after publication. When available, add companion articles or public repository URLs to Zenodo `related_identifiers`. |
| title | Lean Reflexive Closure (Lean formalization) |
| topic | Lean 4 formal verification |
| url | https://doi.org/10.5281/zenodo.20155370 |