axiom-research

This content is not available in your language yet.

Двуязычный research-репозиторий с DOCX как основным форматом длинных документов. Основной пакет исследований поставляется двумя полноценными антологиями: английской и русской. TeX/BibTeX-исходники намеренно отсутствуют в v0.2.

docx/Axiom-Research-Pack-v0.2.0-EN.docx
docx/Axiom-Research-Pack-v0.2.0-RU.docx
roadmap/Axiom-Roadmap-v0.2.0-EN.docx
roadmap/Axiom-Roadmap-v0.2.0-RU.docx

PRIOR_ART.md и NOVELTY_BOUNDARY.md фиксируют границу новизны; рядом лежат их русскоязычные варианты.

Связанные исследования

Этот компонент входит в исследовательский проект Axiom. Все компоненты собраны по теме localzet-axiom. Основной язык документации — русский. Исследовательские результаты и ограничения не означают готовность к промышленному применению.

Русские материалы

Основные тексты: предшествующие исследования, границы новизны, исследовательские документы в docx/ и дорожная карта в roadmap/. Для русских документов выбирайте файлы с суффиксом RU. Английские версии сохранены как дополнительные переводы.

Проверенные определения Lean находятся в axiom-formal. Их результаты не заменяют доказательство соответствия реализаций VM модели.

Исходный код · MIT