Popular repositories Loading

1. poleiro poleiro Public

   A blog about Coq

   Coq 47 5

2. extructures extructures Public

   Finite sets and maps for Coq with extensional equality

   Coq 29 6

3. deriving deriving Public

   Class instances for Coq inductive types with little boilerplate

   Coq 24 9

4. memory-safe-language memory-safe-language Public

   A formalization of properties of a simple imperative, memory-safe language.

   Coq 19 1

5. agda-hoas-demo agda-hoas-demo Public

   Experiments with higher-order abstract syntax in Agda

   Agda 19 1

6. coq-utils coq-utils Public

   Some basic libraries for Coq.

   Coq 14 3