coq-of-ocaml

Formal verification for OCaml

GitHub
254 stars
8 watching
20 forks
Language: OCaml
last commit: about 2 months ago
Linked from 1 awesome list

compilercoqocaml

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

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

Backlinks from these awesome lists: