Popular repositories Loading

1. smtlib-mode smtlib-mode Public

   An Emacs major mode to edit and run SMTLIB v2 files

   Emacs Lisp 9 10

2. cvc4-ocaml cvc4-ocaml Public

   OCaml bindings for CVC4

   2 1

3. kind2 kind2 Public

   Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

   OCaml 1 13

4. ocamlczmq ocamlczmq Public

   Ocaml binding to the high-level C binding for ØMQ

   C++ 2

5. ocp-indent ocp-indent Public

   Forked from OCamlPro/ocp-indent

   Indentation tool for OCaml, to be used from editors like Emacs and Vim.

   OCaml 1

6. folproof folproof Public

   Forked from cdibbs/folproof

   A Javascript First-Order Logic (FOL) proof verifier

   JavaScript