Hola
Para los parciales usamos una sala de máquinas de la FING, aunque sugerimos traigan y usen sus laptops. Si alguien no tiene laptop, con tiempo analizamos su situacion particular. La versión de Coq (software que utilizaremos) no es relevante.
Si quedan dudas podemos conversarlo el martes en la clase por zoom.
Saludos, Carlos