Sistemas
De Razonamiento automático (2019-20)
En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso
Asistentes de demostración
Editores de pruebas por deducción natural
Editores de pruebas por secuentes
- Logitext (un demostrador interactivo basado en el cálculo de secuentes).