https://devstyler.io/blog/2021/06/16/programming-language-coq-wants-to-change-its-name-for-obvious-reasons/ News for developers from tech to lifestyle Wed, 16 Jun 2021 12:04:06 +0000 hourly 1 https://wordpress.org/?v=6.8.5