Estimados estudiantes,
estamos pensando tomar el primer parcial el día jueves 1/10 a la hora 17.
La prueba consiste en resolver ejercicios similares a los involucrados en los tres primeros prácticos, en Coq. La prueba es individual y se realizará seguramente en una sala de máquinas, aunque pueden traer sus laptops.
Saludos,
Gustavo y Carlos