Publications

Note that the Coq code has evolved since these papers were published and so some of the Coq fragments in the papers will be slightly different from the sources that you can download or view online.