Se permitirá la creación de módulos (paquetes) para de esta manera poder agrupar los archivos Coq (.v) según funcionalidad; por ejemplo, o algún otro criterio.
Anonymous
You seem to have CSS turned off. Please don't fill out this field.
