Popular repositories Loading

1. Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

   Coq 101 8

2. A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators

   Coq 17 4

3. An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework

   Coq 14 5

4. An implementation of the Chord lookup protocol verified in Coq using the Verdi framework

   Coq 10 1

5. Bash script for simple generation of Coq project metadata files

   Shell 9 6

6. Verdi framework runtime library

   OCaml 3 2