1 Search Results
coq-of-ocaml
Compile a subset of OCaml to Coq
2.5.3+4.14
MIT
Used by 0 other packages