1
0
mirror of https://github.com/papers-we-love/papers-we-love.git synced 2024-10-27 20:34:20 +00:00
papers-we-love_papers-we-love/program_verification/README.md

4 lines
133 B
Markdown
Raw Normal View History

# Program Verification
* [Coq: The worlds best macro assembler?](https://research.microsoft.com/en-us/um/people/nick/coqasm.pdf)