Popular repositories Loading

1. alt-ergo alt-ergo Public

   Forked from OCamlPro/alt-ergo

   OCamlPro public development repository for Alt-Ergo

   OCaml

2. creusot creusot Public

   Forked from creusot-rs/creusot

   deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

   Rust

3. benchpress benchpress Public

   Forked from sneeuwballen/benchpress

   Testing and benchmarking tool for logic-related programs.

   OCaml

4. opam-nix opam-nix Public

   Forked from tweag/opam-nix

   Turn opam-based OCaml projects into Nix derivations

   Nix

5. opam-nix-dune-build-info opam-nix-dune-build-info Public

   Nix

6. dolmen dolmen Public

   Forked from Gbury/dolmen

   An OCaml library providing clean and flexible parser for languages used in automated deduction

   OCaml