Sistemas

De Razonamiento automático (2019-20)

Revisión del 19:31 8 feb 2022 de Jalonso (discusión | contribs.) (→‎Editores de pruebas por secuentes)

(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)

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

Editores de pruebas por secuentes

Logitext (un demostrador interactivo basado en el cálculo de secuentes).

Formalización

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

Obtenido de «https://www.glc.us.es/~jalonso/RA2019/index.php?title=Sistemas&oldid=1078»