Core_Logic_Model

NSS / Core Logic Model / LFL

1. Что Уже Реализовано

2. LFL: Внутренний Язык

3. Правила Вывода

4. Архитектура

5. Установка

6. Qwen / Локальная LLM

7. Быстрая Проверка Без LLM

8. Полный NL -> LFL -> Proof -> NL Пайплайн

9. Dataset / Training CLI

10. Двухэтапное Обучение

11. TPTP

12. Артефакты

13. Текущий Локальный Результат

14. Тесты

15. Ограничения MVP

16. Ближайшие Приоритеты