coq-of-ocaml

github.comtool

from

OCaml

added

2026-10-10

likes

0

OCaml › Code Analysis and Linters: “Translator from OCaml to Coq to formally verify OCaml code.”