Coq: The World's Best Macro Assembler? (2013) [pdf]nickbenton.name
123 points by addaon 16 hours ago | 57 comments