Diferencia entre revisiones de «Sistemas»
De Seminario de Lógica Computacional (2018)
(→Sistemas) |
(→Sistemas) |
||
| (No se muestra una edición intermedia del mismo usuario) | |||
| Línea 4: | Línea 4: | ||
** [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 Windows o Mac]. | ** [https://coq.inria.fr/coq-86 en Windows o Mac]. | ||
| − | |||
* Instalación de [https://proofgeneral.github.io/ Proof General] | * Instalación de [https://proofgeneral.github.io/ Proof General] | ||
| + | * [http://staff.ustc.edu.cn/~xyfeng/teaching/TOPL/reading/ProofGeneral.pdf Guía para instalar Coq y Proof General en Windows]]. | ||
| + | * [http://bit.ly/1Qh8RJB SWISH: SWI-Prolog for SHaring (a SWI-Prolog web IDE)]. | ||
| + | * [http://www.swi-prolog.org/ SWI Prolog]. | ||
Revisión actual del 08:35 8 abr 2018
Sistemas
- Instalación de Coq 8.6
- Instalación de Proof General
- Guía para instalar Coq y Proof General en Windows].
- SWISH: SWI-Prolog for SHaring (a SWI-Prolog web IDE).
- SWI Prolog.