formal-land/rocq-of-ocaml

Formal verification for OCaml, with Rocq

语言：OCaml · GitHub 星标：279 · Fork：22

话题：compiler · formal-verification · ocaml · rocq

在 GitHub 上查看原仓库