Coq (software) by Ciro Santilli 37 Created 2024-07-04 Updated 2025-07-16
This used to have the best name ever allowing you to say: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!