Tema · higher-order-logic
higher-order-logic
Repositorios de código abierto monitorizados etiquetados con higher-order-logic, ordenados por estrellas.
Repositorios
1
Estrellas totales
756
Estrellas de media
756
Proporción
0,00%
Temas relacionados
Temas que aparecen con frecuencia junto a higher-order-logic en un mismo repositorio.
Emergentes recientes
Repositorios creados en los últimos 90 días, etiquetados con higher-order-logic.
No hay repositorios nuevos con este tema en los últimos 90 días.
- #1
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.
★ 757+3Variación de estrellas de los últimos 7 días
