РЕПЕРНАЯ БАЗА ДАННЫХ И АРТЕФАКТЫ КУРПИШЕВА
Монография KLT-RBD 2.3 RUN-108: реперная база данных, Артефакты Курпишева 1–36, доказательство Артефакта-1, карточки, proof-status и связи с общей Архитектурой Математики.
Карточки Артефактов Курпишева 1–36
Восстановленный вход к опубликованным карточкам Артефактов Курпишева: candidate/review/status, proof object, formal card, blockers и следующий шаг.
Основная монография RU
Русская базовая ветка корпуса проекта.
Monograph EN
English branch of the main monograph corpus.
专著 ZH
Китайская ветка монографии с исправленными ссылками на HTML/PDF.
Monograph 1
Ранний корневой корпус монографии.
Monograph 2.2
Редакция 2.2 в трёх языковых ветках.
Monograph 2 / 3
Дополнительные корневые PDF-версии корпуса.
Monograph 2.4
Расширенная редакционная ветка в RU / EN / ZH.
Review 2.41
Обзорная редакция 2.41 из папки review.
Справочные схемы
Иллюстрации к проективной логике и слоевой структуре.
Новая сборка: Archive Russian
PDF-корпус из загруженного файла ARCHIVE RUSSIAN; размещён в /ru.
New collection: Merge English
English merged corpus / complete English PDF collection; файл размещён в /ru.
Компиляция 10.0
Монография 5.1 и корпусные материалы 6.0; нормализованный PDF размещён в /ru.