Motor en Rust para planificar, aplicar y certificar cambios en ontologías OWL/RDF, con informes del alcance del impacto y pruebas verificables en Lean 4 sobre las conclusiones derivadas.
1,2 mil161RustMITActualizado hace 4 días
#formal-verification
Proyectos open source sobre «formal-verification»
Repositorios de GitHub seleccionados relacionados con formal-verification, con resúmenes de IA y métricas clave.
Ordenar:Añadidos recientemente
1 repositorio