Lean Nems (Lean formalization)
Fuente:
Zenodo
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Recurso digital |
| Publicado: |
Zenodo
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866902089472409600 |
|---|---|
| author | Spivack, Nova |
| author_facet | Spivack, Nova |
| contents | Lean 4 software archive for the **NEMS** program: **Lean Nems**. 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_19429227 |
| institution | Zenodo |
| language | |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Lean Nems (Lean formalization) Spivack, Nova NEMS Lean 4 formal verification Lean 4 software archive for the **NEMS** program: **Lean Nems**. 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 Nems (Lean formalization) |
| topic | NEMS Lean 4 formal verification |
| url | https://doi.org/10.5281/zenodo.19429227 |