coq-of-ocaml

Formal verification for OCaml

254 stars

8 watching

20 forks

Language: OCaml

last commit: 2 months ago

Linked from 2 awesome lists

compilercoqocaml

Screenshot of formal-land/coq-of-ocaml website

formal.land/docs/coq-of-ocaml/introduction

Backlinks from these awesome lists: