HOL-Theorem-Prover/HOL
@HOL-Theorem-ProverFuentes canónicas para el sistema de demostración de teoremas HOL4. La rama 'develop' es donde ocurre el desarrollo principal; cuando 'develop' supera nuestras pruebas de regresión, se fusiona con 'master' para actualizarlo.
Estrellas
757
Bifurcaciones
173
Lenguaje
Standard ML
Licencia
NOASSERTION
Último push
hace 16 horas
Intel relacionado (0)
Aún no hay intel relacionado
Este repo no ha aparecido en ninguna de las fuentes que rastrea el radar. El recopilador funciona con un horario — vuelve cuando lo haya cubierto.