🛠 Представлен ZIL: реляционный язык знаний на базе Lean 4
Проект ZIL (Zil-lean) использует модель, вдохновленную Google Zanzibar, для описания связей между декларациями, требованиями и доказательствами. Язык позволяет строить графы знаний и использовать логику Datalog для вывода новых отношений.
🌍 Позволяет объединить формальную верификацию кода с управлением контекстом проекта, создавая единую «карту знаний» для разработчиков и AI-ассистентов.
👤 Инструмент для специалистов по формальной верификации и построению сложных систем управления знаниями, превращающий разрозненные данные в проверяемую базу.
Источник 1: https://github.com/jagg-ix/zil-lean