2 Search Results
coq-of-ocaml
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
smart-print
A pretty-printing library in OCaml
Guillaume Claret <dev@clarus.me>
0.3.0
BSD-3-Clause
Used by 3 other packages