Coq: The world’s best macro assembler? (2013) [pdf]research.microsoft.com187 pointsdezgeg12 years ago