We don't know any projects categorized as coq yet.
OpenAI might be training its AI technology to replace some software engineers, report says
4 projects | /r/programming | 28 Jan 2023
Online theorem provers
1 project | /r/formalmethods | 24 Aug 2021
But it is also close to the word "cock" which has a slang meaning that some English speakers consider offensive
2 projects | /r/programmingcirclejerk | 8 Apr 2021