Формализация Stacks Project на Lean 4 — открытого справочника по алгебраической геометрии; проект построен на Mathlib и содержит доказательства, проверяемые машиной.
123+19 за неделю26LeanApache-2.0Обновлён вчера
Язык
Лучшие open source проекты на Lean
Open source проекты на Lean, отсортированные по звёздам, с описаниями от ИИ и информацией о лицензии.
Сортировка:Недавно добавленные
4 репозитория
Формально верифицированные примитивы Ethereum на Lean — общая библиотека спецификаций и доказательств для проектов на Lean.
85+6 за неделю22LeanCC0-1.0Активно поддерживаетсяОбновлён 4 часа назад
Фреймворк для Lean 4, позволяющий формально доказывать корректность и безопасность работы с памятью в скомпилированном .NET CIL.
114+10 за неделю3LeanOtherОбновлён 9 часов назад
Фреймворк для Lean 4, позволяющий описывать, запускать и формально верифицировать нейросети с проверкой форм тензоров и обучением в стиле PyTorch.
206+14 за неделю25LeanMITАктивно поддерживаетсяОбновлён 10 дней назад