OurBigBook
About
$
Donate
Sign in
Sign up
Coq
(software, Rocq)
Ciro Santilli
(
@cirosantilli,
37
)
Mathematics
Area of mathematics
Formalization of mathematics
Proof assistant
List of proof assistants
Created
2024-07-04
Updated
2025-07-16
0
Like
0 By others
on same topic
0 Discussions
Create my own version
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.
Ancestors
(6)
List of proof assistants
Proof assistant
Formalization of mathematics
Area of mathematics
Mathematics
Home
Synonyms
(2)
cirosantilli/coq
cirosantilli/rocq
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version