Acciones

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).

Formalización