COQ is a software product for Windows developed by GPL
It is reported that the following Windows processes are part of COQ:
If you want to remove COQ from your computer, just go to Start > Control Panel > Add/Remove programs and select COQ from the list of programs.
Other products developed by GPL