3 search results for "tag:"keyword:OCaml""

Showing 1 - 3
  1. coq-coqffi

    No documentation

    Tool for generating Coq FFI bindings to OCaml libraries
    category:Miscellaneous/Coq Extensions keyword:foreign function interface keyword:extraction keyword:OCaml logpath:CoqFFI
    Thomas Letan Li-yao Xia Yann Régis-Gianas Yannick Zakowski
    1.0.0~beta8
    MIT
    Used by 0 other packages
    29 Apr 2023
  2. 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
  3. coq-paramcoq

    No documentation

    Plugin for generating parametricity statements to perform refinement proofs
    keyword:paramcoq keyword:parametricity keyword:OCaml modules category:Miscellaneous/Rocq Extensions logpath:Param date:2024-06-29
    Chantal Keller (Inria, École polytechnique) Marc Lasson (ÉNS de Lyon) Abhishek Anand Pierre Roux Emilio Jesús Gallego Arias et al.
    1.1.3+rocq9.0
    MIT
    Used by 4 other packages
    26 Mar 2025