CFPTT: Bibliografia

Viendo el Practico 2 dice "Lea la sección Tacticals del manual de referencia y rehaga la prueba utilizando el estructurador de tácticas do."

Revisé todo el foro y como material encontré 3 links:

De los cuales los primeros 2 estan caidos, por asi decirlo.

Ahora voy a leer de https://coq.inria.fr/distrib/current/refman/ pero ¿Será necesario consultar otra documentación en el futuro?

de Carlos Luna - domingo, 2 de septiembre de 2018, 20:03

Hola.

Podés ver en en el manual de referencia de Coq que está online. Las tácticas:

https://coq.inria.fr/distrib/current/refman/coq-tacindex.html#.

Específicamente el do:

https://coq.inria.fr/distrib/current/refman/proof-engine/ltac.html#coq:tacn.do

Una táctica muy útil que permite reducir las pruebas (listas de tácticas aplicadas) es el ";".

Saludos, Carlos

de German Adolfo Faller Farias - martes, 4 de septiembre de 2018, 10:13

Demas... ahi ya habia llegado, muy fuerte el uso del ";" no me habia quedado claro el potencial en clase.

me quedo pendiente la pregunta...

¿Será necesario consultar otra documentación en el futuro?

de Carlos Luna - martes, 4 de septiembre de 2018, 12:43

Hola.

Además del material propio del curso, sugerimos consultar el manual disponible en línea en el sitio oficial del curso:

https://coq.inria.fr/distrib/current/refman/.

Material útil complementario está disponible en:

https://coq.inria.fr/documentation.

Obviamente hay material que excede al curso en si, pero que está muy bueno (tutoriales, libros -como el Coq'Art-, entre otros).

Saludos, Carlos