8000 Home · formal-land/coq-of-ocaml Wiki · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Home

Jump to bottom Edit New page
Guillaume Claret edited this page May 7, 2014 · 5 revisions

CoqOfOCaml

A compiler of OCaml to Coq.

  • Documentation (TODO)
  • [Supported language](Supported language)
  • Supported libraries (TODO)
  • [Effects system](Effects system)
  • Examples (TODO)
Add a custom footer
Add a custom sidebar
Clone this wiki locally
0