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 Computación 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