No hay foro de estudiantes, así que lo comparto por ésta vía. Es un material cuyo contenido interseca bastante con las cosas vistas en el curso; en particular me ha ayudado a que algunas cosas me quedaran más claras.
https://www.labri.fr/perso/casteran/RecTutorial.pdf
Espero que también les sea útil
Damián
Gracias Damian!
Complemento la información del correo anterior con material disponible en el sitio de Coq. Ver en particular los documentos disponibles en:
https://coq.inria.fr/documentation.
Saludos, Carlos
Cada joyita veo por ahí! Muchas gracias Carlos. Éste me llama la atención en particular https://math-comp.github.io/mcb/.
Suerte que voy a poder conocer a muchos de los autores; me aceptaron para la escuela de enero.
Felicitaciones Damián! Será una escuela muy interesante.
Hay muchas posibilidades para usar métodos formales, en particular en seguridad pero también en otras áreas (matemática, ingeniería de software, etc)
Saludos Carlos