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 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