HOL-Theorem-Prover

Fuentes 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.