 Coq (software)

ID: coq-software

Ciro Santilli 37 Created 2024-07-04 Updated 2025-07-16

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!