Diferencia entre revisiones de «Sistemas»
De Razonamiento automático (2018-19)
(→Asistentes de demostración) |
|||
Línea 2: | Línea 2: | ||
== Asistentes de demostración == | == Asistentes de demostración == | ||
− | + | * [http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html Isabelle/HOL]. | |
== Editores de pruebas por deducción natural == | == Editores de pruebas por deducción natural == |
Revisión del 20:07 23 ene 2019
En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso
1 Asistentes de demostración
2 Editores de pruebas por deducción natural
- Pandora (y copia local)
- Conan (y su descripción)
3 Editores de pruebas por secuentes
- + Sequent Calculus Trainer (un demostrador para el cálculo de secuentes).
- Logitext (un demostrador interactivo basado en el cálculo de secuentes).