Sistemas
De Razonamiento automático (2018-19)
Revisión del 11:45 24 ene 2019 de Jalonso (discusión | contribuciones)
En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso
Sumario
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).