Popular repositories Loading

1. predicate-monads predicate-monads Public

   A logic for proving properties of monadic computations

   Coq 10

2. hobbits hobbits Public

   A library for name-binding in Haskell that ensures adequacy and prevents binding-related bugs.

   Haskell 5 4

3. uniform-lr uniform-lr Public

   Coq formalization of uniform logical relations

   Coq 1

4. bisim-refinement bisim-refinement Public

   Coq

5. separation-types separation-types Public

   Coq

6. itree-refinement itree-refinement Public

   Defining a notion of refinement on itrees

   Coq 1