 Coq (software)

ID: coq-software

Ciro Santilli 37  Updated 2025-05-29  +Created 2024-07-04

This used to have the best name ever allowing you to say:

I love Coq

to English speakers and watch their faces drop.

But in 2023 the bastards renamed it to "Rocq", presumably pronounced "rock". Why, God, why.

 New to topics? Read the docs here!