Master Classes de Inria Academy
"Algoritmos y pruebas simples en Coq"
Lunes 31 de agosto - 11:00 hrs.
Expositor: Yves Bertot, investigador de Inria y uno de los principales contribuidores de Coq.
En esta clase podrás conocer más sobre Coq, un lenguaje de programación simplificado pero lo suficientemente poderoso para describir software avanzados, como una máquina virtual de Java o un microprocesador.
Más información e inscripciones (https://inria.cl/es/inria-academy/mc/coq)