Um mecanismo em Rust para planejar, aplicar e certificar alterações em ontologias OWL/RDF, com relatórios de raio de impacto e provas verificáveis de conclusões derivadas em Lean 4.
1,2 mil161RustMITAtualizado há 4 dias
#formal-verification
Projetos open source sobre “formal-verification”
Repositórios do GitHub selecionados relacionados a formal-verification, com resumos de IA e métricas principais.
Ordenar:Adicionados recentemente
1 repositório