Acciones

Diferencia entre revisiones de «Sistemas»

De Razonamiento automático (2018-19)

(Editores de pruebas por deducción natural)
(Editores de pruebas por deducción natural)
Línea 6: Línea 6:
 
== 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])
 
  
 
== Editores de pruebas por secuentes ==
 
== Editores de pruebas por secuentes ==

Revisión del 18:29 8 feb 2022

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

1 Asistentes de demostración

2 Editores de pruebas por deducción natural

3 Editores de pruebas por secuentes

4 Formalización