Seminario de Lógica Computacional (2018)
Seminario de Lógica Computacional (2018)
Navegación
Página principal
Temas
Documentación
Sistemas
Diario
Twitter
Cambios recientes
Herramientas
Lo que enlaza aquí
Cambios relacionados
Páginas especiales
Enlace permanente
Información de la página
Acciones
Página
Discusión
Ver código
Historial
Sistemas
De Seminario de Lógica Computacional (2018)
Revisión del 13:42 5 abr 2018 de
Jalonso
(
discusión
|
contribuciones
)
(
→
Sistemas
)
(
dif
)
← Revisión anterior
|
Revisión actual
(
dif
) |
Revisión siguiente →
(
dif
)
Sistemas
Instalación de
Coq
8.6
en Ubuntu
.
en Windows o Mac
.
Instalación de
Proof General
SWISH: SWI-Prolog for SHaring (a SWI-Prolog web IDE)
.
SWI Prolog
.
