UGP/GTE Lean formalization
Fuente:
Zenodo
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Recurso digital |
| Veröffentlicht: |
Zenodo
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866901676073418752 |
|---|---|
| author | Spivack, Nova |
| author_facet | Spivack, Nova |
| contents | Lean 4 software archive for the **NEMS** program: **Lean Ugp**. 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_19555084 |
| institution | Zenodo |
| language | |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | UGP/GTE Lean formalization Spivack, Nova Lean 4 formal verification Lean 4 software archive for the **NEMS** program: **Lean Ugp**. 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 | UGP/GTE Lean formalization |
| topic | Lean 4 formal verification |
| url | https://doi.org/10.5281/zenodo.19555084 |