> I don't know Coq well enough to tell you if this is the source code to the CoqASM paper with the quick skim I did before work. It is. See also https://www.m

> I don't know Coq well enough to tell you if this is the source code to the CoqASM paper with the quick skim I did before work. It is. See also https://www.microsoft.com/en-us/research/publication/high-level-separation-logic-low-level-code/ https://www.microsoft.com/en-us/research/publication/high-le... for details on the program logic (ie. "Hoare triples for x86").