Anyone good at Coq? Need someone to work on some proofshttps://news.ycombinator.com/item?id=9709725 by panjaro • 11 years ago 2 0 11 years agoNEnews.ycombinator.com