Acciones

Sistemas

De Seminario de Lógica Computacional (2018)

Revisión del 21:32 21 feb 2018 de WikiSysop (discusión | contribuciones) (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].')
(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)