Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
    Guillaume Claret
    @clarus
    Hi
    Tom R
    @tnrn9b
    Hello
    Is this an open room for discussion of general matters pertaining to Coq?
    Or just the OCAML compiler
    Guillaume Claret
    @clarus
    hi
    (3 years latter)
    this is about the coq-of-ocaml compiler, to compile a small subset of OCaml to Coq