Diferencia entre revisiones de «Sistemas»
De Razonamiento automático (2019-20)
(Página creada con «En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso == Asistentes de demostración == * [http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.…») |
m (Protegió «Sistemas» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) |
(Sin diferencias)
| |
Revisión del 11:49 15 oct 2019
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
- 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).