dogear

CoqOfOCaml

github.comtool

Tool for generating idiomatic Coq from OCaml code.

visit github.com ↗

sign in to dogear this

from: Coq
added: 2026-10-10
likes: 0

Coq › Projects > Tools: “Tool for generating idiomatic Coq from OCaml code.”