Acciones

Diferencia entre revisiones de «Sistemas»

De Demostración automática de teoremas (2014-15)

(Página creada con '== Sistemas utilizados en ''Demostración automática de teoremas (2014-15)'' == En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso # [http://www...')
 
(Sin diferencias)

Revisión actual del 21:03 19 feb 2015

Sistemas utilizados en Demostración automática de teoremas (2014-15)

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

  1. Isabelle/HOL.