Repositorios 5

Logic Theory of computation 9 Coq 4 Proof theory 4 Algoritmo 2 Asistente de Prueba 2 Asistentes de prueba 2 Forcing 2 Formal Verification 2 Formalización 2 Grafos 2 Hipótesis del continuo 2 Isabelle / ZF 2 Logic and verification 2 Lógicas Dinámicas 2 Lógicas Modales 2 Metaprogramación 2 Modal and temporal logics (High Relevance) 2 Modal logic 2 Modelos 2 Mtac2 2 Relativización 2 Separation logic 2 Tableaux 2 Type theory 2 Verificación Formal 2 Definability 1 Definibilidad 1 Lógica 1 Model theory 1