axiom-research
Двуязычный research-репозиторий с DOCX как основным форматом длинных документов. Основной пакет исследований поставляется двумя полноценными антологиями: английской и русской. TeX/BibTeX-исходники намеренно отсутствуют в v0.2.
docx/Axiom-Research-Pack-v0.2.0-EN.docxdocx/Axiom-Research-Pack-v0.2.0-RU.docxroadmap/Axiom-Roadmap-v0.2.0-EN.docxroadmap/Axiom-Roadmap-v0.2.0-RU.docx
PRIOR_ART.md и NOVELTY_BOUNDARY.md фиксируют границу новизны; рядом лежат их русскоязычные варианты.
Связанные исследования
Заголовок раздела «Связанные исследования»Этот компонент входит в исследовательский проект Axiom. Все компоненты собраны по теме localzet-axiom. Основной язык документации — русский. Исследовательские результаты и ограничения не означают готовность к промышленному применению.
Русские материалы
Заголовок раздела «Русские материалы»Основные тексты: предшествующие исследования, границы новизны, исследовательские документы в docx/ и дорожная карта в roadmap/. Для русских документов выбирайте файлы с суффиксом RU. Английские версии сохранены как дополнительные переводы.
Проверенные определения Lean находятся в axiom-formal. Их результаты не заменяют доказательство соответствия реализаций VM модели.
Исходный код · MIT