3 ms·Coq Will Be Renamed45 points by tmfi 6y agodang 6y agoComments moved to https://news.ycombinator.com/item?id=26738980 https://news.ycombinator.com/item?id=26738980.