T theregister.com Coq mulls new name for programming language 59 points samizdis 5 years ago 126 comments
