OurBigBook
About
$
Donate
Sign in
+
Sign up
Coq (software)
ID: coq-software
Top articles
Latest articles
+
New article in topic
Show body
Body
0
Coq (software)
by
Ciro Santilli
36
Updated
2025-04-24
+
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.
Total
articles
:
1
New to
topics
?
Read the docs here!