Buen día.
El práctico 7 requiere la entrega de 2 archivos (3 si contamos el archivo _CoqProject que por lo menos en mi caso es necesario para que funcionen las importaciones locales) pero el entregable solamente admite 1 archivo. ¿Supongo que la idea es entregarlo en un archivo zip?
Saludos.