Hola, en la página de coq está para bajar la versión estable 8.4, o la versión beta 8.5. Cuál es la que se va a usar en el curso?
Gracias!
Hola.
Usaremos la versión 8.4, ya que la 8.5 está a prueba aún.
Saludos, Carlos
Hola, en la página de coq está para bajar la versión estable 8.4, o la versión beta 8.5. Cuál es la que se va a usar en el curso?
Gracias!
Hola.
Usaremos la versión 8.4, ya que la 8.5 está a prueba aún.
Saludos, Carlos