Logic and Semantics @ Aarhus University

Popular repositories Loading

1. iris-tutorial iris-tutorial Public

   Rocq Prover 107 45

2. clutch clutch Public

   Probabilistic separation logics for verifying higher-order probabilistic programs.

   Rocq Prover 45 11

3. aneris aneris Public

   Program logic for developing and verifying distributed systems

   Rocq Prover 39 8

4. mitten_preorder mitten_preorder Public

   OCaml 34 2

5. cerise cerise Public

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

   Rocq Prover 28 8

6. iris-lecture-notes iris-lecture-notes Public

   TeX 19 6