Poner o no el tipo en constructores (depende de versión de Coq?)

Re: Poner o no el tipo en constructores (depende de versión de Coq?)

de Agustin Leonardo Lucas Millan -
Número de respuestas: 0
Hola, son las mismas definiciones sí, y nos pasa con muchas otras también, incluso con alguna demostración que en un caso es válida y en el otro no (tenemos un git con nuestra solución en conjunto, o sea que el código es exactamente el mismo). Nos fijamos las versiones y ella estaba usando la 8.4pl6 y yo la 8.16.1. Probamos actualizando la más vieja a 8.17.1 y ahora se comportan igual, así que confirmo que era un tema de versiones.
Gracias por la respuesta.
Saludos,
Agustín.