News for hackers. Stuff that matters.
Re:Renaming Coq by taliaringer on Thursday April 08, 2021 @07:22PM (#26744987)
I read Code of Conduct abbreviated as "see-oh-see." This is also the name of the logic that underpins Coq, the Calculus of Constructions, which I read the same way.

There are no comments on this comment yet.