Coq: qué, cómo y por qué 2 de 2

Plática dada por Selene Linares (Facultad de Ciencias de la UNAM) en el evento “Gemas de la Teórica”, el jueves 23 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

Selene Linares la Facultad de Ciencias de la UNAM
http://www.fciencias.unam.mx/directorio/55412

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