Coq: qué, cómo y porqué
Plática dada por Lourdes González (Facultad de Ciencias de la UNAM) en el evento Gemas de la Computación Teórica, el martes 21 de agosto del 2018 en el Aula Leonila Vázquez del Amoxcalli en la Facultad de Ciencias de la UNAM
Video de la plática
https://youtu.be/CZ0rU-CQ66Q
Fotos de miniatura y cartel de la plática
https://photos.app.goo.gl/pdf4Nqg4u7RNf7dD9
Página del evento Gemas de la Computación Teórica
https://sites.google.com/ciencias.unam.mx/gemasct/inicio?authuser=0
Lourdes González en:
https://mx.linkedin.com/in/lourdes-del-carmen-gonzález-huesca-6a7407119
La Facultad de Ciencias de la UNAM
http://www.fciencias.unam.mx/directorio/54026
Agradecemos a:
Fedro Guillen, Erick Tovar, Luis Ramos, Emilio Estevez y Efraín Vega quienes grabaron las charlas
Facultad de Ciencias de la UNAM
http://www.fciencias.unam.mx/
universo.math
http://universo.math.org.mx/
https://www.facebook.com/universo.math