Diferencia entre revisiones de «Sistemas»
De Seminario de Lógica Computacional (2018)
(Página creada con '== Sistemas == * Instalación de Coq 8.6 ** [https://github.com/coq/coq/wiki/Installation-of-Coq-on-Linux en Ubuntu]. ** [https://coq.inria.fr/coq-86 en Eindows o Mac].') |
|||
| Línea 1: | Línea 1: | ||
== Sistemas == | == Sistemas == | ||
| − | * Instalación de Coq 8.6 | + | * Instalación de [[https://coq.inria.fr Coq] 8.6 |
** [https://github.com/coq/coq/wiki/Installation-of-Coq-on-Linux en Ubuntu]. | ** [https://github.com/coq/coq/wiki/Installation-of-Coq-on-Linux en Ubuntu]. | ||
** [https://coq.inria.fr/coq-86 en Eindows o Mac]. | ** [https://coq.inria.fr/coq-86 en Eindows o Mac]. | ||
| + | |||
| + | * Instalación de [https://proofgeneral.github.io/ Proof General] | ||