Acciones

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] (y [https://www.cs.us.es/~jalonso/cursos/lmf/sistemas/pandora.jar copia local])
+
* [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 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