Buenas, estoy teniendo dificultades para lograr entender las Tacticals del manual de referencia para el ejercicio 2.7 del práctico 2.
Quisiera saber si es correcto usar el siguiente link como especificación de las Tacticals:
https://www.fing.edu.uy/inco/grupos/mf/man/Coq/node.1.2.13.html
Creo que hay cierta diferencia entre las tacticals que aparecen en el manual y las del link de la fing, pero me resultaron suficientes las del link para el ejercicio 2.7.
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