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