Rust-движок для планирования, применения и сертификации изменений OWL/RDF-онтологий с отчётами о радиусе воздействия и проверяемыми доказательствами выводов в Lean 4.
1,2 тыс.161RustMITОбновлён 4 дня назад
#formal-verification
Open source проекты по теме «formal-verification»
Отобранные репозитории GitHub по теме formal-verification с описаниями от ИИ и ключевыми метриками.
Сортировка:Недавно добавленные
1 репозиторий