papers-we-love/papers-we-love — pull request #113 by kisom (2014-05-02 20:53:46+00:00)
Title: Add new category, program verification.

The inaugural paper in this category describes using Coq to create a
formalised subset of the x86 architecture.