Core_Logic_Model_Public
ФоркИзбранное
0
0
Описание
Языки
- Python83,2%
- JavaScript10,1%
- HTML4,6%
- CSS1,4%
- Shell0,7%
A
rremcaмесяц назад
месяц назад
месяц назад
месяц назад
месяц назад
месяц назад
месяц назад
месяц назад
месяц назад
месяц назад
месяц назад
месяц назад
месяц назад
Core Logic Model / Logic Formal Language
Аннотация
Реализованная система
Формальный язык LFL
Проверяющее ядро
Выводы в исчислении высказываний
λ-исчисление и Curry-Howard
Выводы в исчислении предикатов
Задачи о бинарном отношении
Независимость и контрмодели
Нейросетевой компонент
NL → LFL пайплайн
Web-приложение
Установка
CLI-примеры
Протокол тестирования
Структура репозитория
Основной инвариант
README.md