Збережено в:
| Автор: | |
|---|---|
| Формат: | Recurso digital |
| Мова: | |
| Опубліковано: |
Zenodo
2026
|
| Предмети: | |
| Онлайн доступ: | https://doi.org/10.5281/zenodo.19429254 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Зміст:
- Lean 4 software archive for the **NEMS** program: **Lean Observer Non Exhaustability**. 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`.