| layout | default |
|---|
Welcome. We are in the process of building the ProofCert project page. Expect to see more information here shortly.
If you are looking for the supporting materials for the paper Translating between implicit and explicit versions of proof, you can find them [here]({% post_url 2017-02-26-translating-between-implicit-and-explicit-versions-of-proof %}).