discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Coq mulls new name for programming language
https://www.theregister.com/2021/06/15/coq_programming_language_change/
126 comments
15/6/2021
Reddit
Realizing this is getting out of hand, Coq mulls new name for programming language
https://www.theregister.com/2021/06/15/coq_programming_language_change/
115 comments
17/6/2021
programming