1024">
Learn
Packages
Community
Blog
Playground
Get Started
Learn
Packages
Community
Blog
Playground
Get started
2 Search Results
Search packages
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