Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Recurso digital |
| Langue: | |
| Publié: |
Zenodo
2026
|
| Sujets: | |
| Accès en ligne: | https://doi.org/10.5281/zenodo.20155350 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Table des matières:
- Lean 4 software archive for the **NEMS** program: **Lean Aps Recursion Uniformization**. 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`.