R research.microsoft.com Coq: The world’s best macro assembler? (2013) [pdf] 187 points dezgeg 12 years ago 61 comments
