Acciones

Sistemas

De Razonamiento automático (2018-19)

Revisión del 19:07 23 ene 2019 de Jalonso (discusión | contribuciones) (Asistentes de demostración)

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

  1. Pandora (y copia local)
  2. Conan (y su descripción)

3 Editores de pruebas por secuentes

  1. + Sequent Calculus Trainer (un demostrador para el cálculo de secuentes).
  2. Logitext (un demostrador interactivo basado en el cálculo de secuentes).