Popular repositories Loading

1. peridot peridot Public archive

   A fast functional language based on two level type theory

   Haskell 392 6

2. LHL LHL Public

   Linearizability Hoare Logic

   Coq 17

3. konna konna Public

   Haskell 16

4. djinn djinn Public

   Prototype "wiki-style" theorem prover

   Haskell 9

5. alba alba Public

   Haskell 3

6. formal-elab formal-elab Public

   Coq 1