Coq (software) by Ciro Santilli 36 Updated +Created
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!