CFPTT: Formato Entrega 7

Hola,
¿Entregamos solo los archivos .v en un zip o hay que entregar el makefile que generó coq con todos los archivos?

Saludos,
Jairo.

de Carlos Luna - jueves, 18 de diciembre de 2014, 12:41

Como prefieran.

Saludos, Carlos