Diferencia entre revisiones de «Sistemas»
De Razonamiento automático (2018-19)
(→Editores de pruebas por deducción natural) |
|||
| 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]. |
* [http://web.student.chalmers.se/~jespolss/Conan.html Conan] (y su [https://t.co/8aNC1H9MvD descripción]) | * [http://web.student.chalmers.se/~jespolss/Conan.html Conan] (y su [https://t.co/8aNC1H9MvD descripción]) | ||
Revisión del 19:29 8 feb 2022
En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso
Sumario
1 Asistentes de demostración
2 Editores de pruebas por deducción natural
- Pandora.
- Conan (y su descripción)
3 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).