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

Showing 1 - 1
  1. coq-of-ocaml

    No documentation

    Compile a subset of OCaml to Coq
    keyword:compilation keyword:OCaml logpath:CoqOfOCaml
    Guillaume Claret
    2.5.3+4.14
    MIT
    Used by 0 other packages
    26 Aug 2026