Popular repositories Loading

1. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml

2. example-plugin example-plugin Public

   Forked from mattam82/example-plugin

   An example Coq plugin

   OCaml 1

3. forensics-thesis forensics-thesis Public

   Forked from cmc333333/forensics-thesis

   For my Computer Science Masters at Depaul

   TeX

4. strong-normalization strong-normalization Public

   Forked from andreasabel/strong-normalization

   Formalizations of strong normalization proofs

   TeX

5. certicoq certicoq Public

   Forked from CertiCoq/certicoq

   Coq

6. CertiGraph CertiGraph Public

   Forked from CertiGraph/CertiGraph

   Coq