Sistemas

En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso

Asistentes de demostración

• Isabelle/HOL.

Editores de pruebas por deducción natural

• Pandora (y copia local)
• Conan (y su descripción)

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

Formalización

• APLI2 (APLIcación de Ayuda Para Lógica Informática).