Conversation

Brendan Zabarauskas
@brendanzab
So glad this conversation is being had.
Quote Tweet
Talia Ringer 🌻🪬
@TaliaRinger
·
I guess to people confused, my research community is now discussing whether and, if so, how to remame a proof assistant called Coq. The name is meaningful in French, but the English innuendo was known and a part of the "joke" when it was first named decades ago.
Show this thread
1
6
Brendan Zabarauskas
@brendanzab
I'm incredibly happy to see the care, sensitivity, and understanding of the current developers of Coq, and how willing they are to consider change, despite the real challenges they face in taking it on. It makes me incredibly excited for the future of the field.
1
6