Hola!
Confirmo el parcial para el miércoles 8/5 a la hora 18 en la sala de máquinas 315.
Pueden y se sugiere usar sus laptops (aunque la sala tendrá alguna versión de Coq instalada). La idea es que en la evaluación trabajen durante 2:30hs en ejercicios similares a los incluidos en los tres primeros prácticos, usando los materiales que cada uno tenga (no se permitirá usar internet durante la prueba, pero si los materiales digitales o en papel que cada estudiante quiera tener, que no podrá compartir con nadie más durante la evaluación).
Recuerden que a través de los foros del curso pueden consultar dudas de los prácticos.
Saludos, Carlos