Ciro Santilli
OurBigBook.com
$£
Sponsor
中国
独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
Coq
(software, Rocq)
Home
Mathematics
Area of mathematics
Formalization of mathematics
Proof assistant
List of proof assistants
OurBigBook.com
Words: 39
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)
Coq
Rocq