Popular repositories Loading

1. kravanenn kravanenn Public

   A set of tools for Coq written in Rust

   Rust 14 2

2. lsh-generator lsh-generator Public

   Generate titles of conferences in philosophy!

   OCaml 9 1

3. ocaml-melt ocaml-melt Public

   OCaml 9

4. ll-coq ll-coq Public

   Some Coq formalizations of Linear Logic

   Coq 7 3

5. ocaml-compactor ocaml-compactor Public

   Small library to compute maximal sharing of OCaml datastructures.

   OCaml 7

6. coq-forcing coq-forcing Public

   Tentative implementation of call-by-name forcing in Coq

   Coq 7 2