Seminario de Lógica Computacional (2018) Seminario de Lógica Computacional (2018)

Sistemas

• Instalación de Coq 8.6
  • en Ubuntu.
  • en Windows o Mac.
• 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.