Popular repositories

1. aneris aneris Public

   Program logic for developing and verifying distributed systems

   Coq 31 6

2. mitten_preorder mitten_preorder Public

   OCaml 26 1

3. cerise cerise Public

   Formalisation of a capability machine and principles for reasoning about security properties

   Coq 17 3

4. clutch clutch Public

   Probabilistic separation logics for verifying higher-order probabilistic programs.

   Coq 12 3

5. iris-lecture-notes iris-lecture-notes Public

   TeX 11 3

6. free-theorems-sl free-theorems-sl Public

   Coq 8