In a similar vein, x86 assembly in coq: http://research.microsoft.com/en-us/um/people/nick/coqasm.pd...
In a similar vein, x86 assembly in coq: http://research.microsoft.com/en-us/um/people/nick/coqasm.pd...