Popular repositories Loading

1. NuprlInCoq NuprlInCoq Public

   Implementation of Nuprl's type theory in Coq

   Coq 44 3

2. Velisarios Velisarios Public

   A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems

   Coq 28 5

3. damysus damysus Public

   C 10 3

4. opentt opentt Public

   Agda 6

5. EventML EventML Public

   Standard ML 2

6. pistis pistis Public

   C 1 1