Saved in:
| 主要作者: | |
|---|---|
| 格式: | Recurso digital |
| 語言: | |
| 出版: |
Zenodo
2026
|
| 主題: | |
| 在線閱讀: | https://doi.org/10.5281/zenodo.19429227 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
書本目錄:
- 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`.