2 Search Results
coq-of-ocaml
Compile a subset of OCaml to Coq
2.5.2+4.13
MIT
Used by 0 other packages
smart-print
A pretty-printing library in OCaml
0.3.0
BSD-3-Clause
Used by 3 other packages