Hola Rodrigo.
Si, es correcto. Coq va cambiando y algunas cosas se van actualizando, pero la base está ahí. También en el manual de Coq, disponible en su sitio web.
Para el ejercicio 7 el uso del ";" es lo más importante.
Saludos Carlos
Hola Rodrigo.
Si, es correcto. Coq va cambiando y algunas cosas se van actualizando, pero la base está ahí. También en el manual de Coq, disponible en su sitio web.
Para el ejercicio 7 el uso del ";" es lo más importante.
Saludos Carlos