Popular repositories Loading

1. cvc4-ocaml cvc4-ocaml Public

   Forked from chsticksel/cvc4-ocaml

   OCaml bindings for CVC4

   C++

2. hahn hahn Public

   Forked from vafeiadis/hahn

   Hahn: A Coq library

   Coq

3. jibri jibri Public

   Forked from jitsi/jibri

   Jitsi BRoadcasting Infrastructure

   Kotlin

4. zelus zelus Public

   Forked from INRIA/zelus

   A synchronous language with ODEs

   OCaml

5. coq-tactical coq-tactical Public

   Forked from tchajed/coq-tactical

   Library of Coq proof automation

   Coq

6. awesome-coq awesome-coq Public

   Forked from coq-community/awesome-coq

   A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]