Coq: The World's Best Macro Assembler? (2013) [pdf](nickbenton.name)153 points by addaon 11 months ago | 67 comments
![Screenshot of nickbenton.name: Coq: The World's Best Macro Assembler? (2013) [pdf]](https://hn.urlbox.com/shots/renders/2025/11/27/520d8c0e-ec59-42f4-9d89-b631e227b1f2.jpg)