Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Recurso digital |
| Idioma: | |
| Publicado em: |
Zenodo
2026
|
| Assuntos: | |
| Acesso em linha: | https://doi.org/10.5281/zenodo.19429237 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Sumário:
- Lean 4 software archive for the **NEMS** program: **Lean Representational Incompleteness**. 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`.