Coq has been thoroughly scanned by our advanced security systems and verified by industry-leading partners. This file comes from the official developer and has passed all our security checks, showing no signs of viruses, malware, or spyware. For more information, visit our Security and Trust Center
