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 1

2. Forked from s3team/uroboros

   Infrastructure for Reassembleable Disassembling and Transformation

   OCaml

6. Forked from mit-pdos/fscq

   FSCQ is a certified file system written and proven in Coq

   Coq