Diferencia entre revisiones de «Sistemas»
De Razonamiento automático (2019-20)
m (Protegió «Sistemas» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) |
|||
| Línea 5: | Línea 5: | ||
== Editores de pruebas por deducción natural == | == Editores de pruebas por deducción natural == | ||
* [http://www.doc.ic.ac.uk/pandora/newpandora Pandora] | * [http://www.doc.ic.ac.uk/pandora/newpandora Pandora] | ||
== Editores de pruebas por secuentes == | == Editores de pruebas por secuentes == | ||
Revisión del 19:31 8 feb 2022
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
- Sequent Calculus Trainer (un demostrador para el cálculo de secuentes).
- Logitext (un demostrador interactivo basado en el cálculo de secuentes).