Hola.
Si, está dando problemas en esta versión de Coq.
En vez de "++" usar por ejemplo "+++".
Saludos, Carlos
Re: [Practico 3] Ejercicio 6. Definición de operadores infijos
de Carlos Luna -
Número de respuestas: 0