1 search result for "tag:"logpath:OCaml""

Showing 1 - 1
  1. coq-of-ocaml

    No documentation

    Compile a subset of OCaml to Coq
    date:2020-03-20 keyword:compilation keyword:OCaml logpath:OCaml
    Guillaume Claret
    2.1.0
    MIT
    Used by 0 other packages
    20 May 2020