Guardat en:
| Autor principal: | |
|---|---|
| Format: | Recurso digital |
| Idioma: | |
| Publicat: |
Zenodo
2026
|
| Matèries: | |
| Accés en línia: | https://doi.org/10.5281/zenodo.20155355 |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
| _version_ | 1866901957100175360 |
|---|---|
| author | Spivack, Nova |
| author_facet | Spivack, Nova |
| contents | Lean 4 software archive for the **NEMS** program: **Lean Observer Non Exhaustability**. 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_20155355 |
| institution | Zenodo |
| language | |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Lean Observer Non Exhaustability (Lean formalization) Spivack, Nova Lean 4 formal verification Lean 4 software archive for the **NEMS** program: **Lean Observer Non Exhaustability**. 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 Observer Non Exhaustability (Lean formalization) |
| topic | Lean 4 formal verification |
| url | https://doi.org/10.5281/zenodo.20155355 |