Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Renaming Coq. Parent comment
* wiki, where anyone can add proposals: https://github.com/coq/coq/wiki/Alternative-names
* chat: https://coq.zulipchat.com/#narrow/stream/237655-Miscellaneou...
* forum: https://coq.discourse.group/t/renaming-coq/1264
There are no comments on this comment yet.
* wiki, where anyone can add proposals: https://github.com/coq/coq/wiki/Alternative-names
* chat: https://coq.zulipchat.com/#narrow/stream/237655-Miscellaneou...
* forum: https://coq.discourse.group/t/renaming-coq/1264