The main paper for this project is Andrew Kennedy's 2013 paper "Coq: The world's best macro assembler?" https://www.microsoft.com/en-us/research/publication/co

The main paper for this project is Andrew Kennedy's 2013 paper "Coq: The world's best macro assembler?" https://www.microsoft.com/en-us/research/publication/coq-worlds-best-macro-assembler/?from=https%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fnick%2Fcoqasm.pdf https://www.microsoft.com/en-us/research/publication/coq-wor...