epfl-systemf/ppx_rocq

Syntax extensions for quoting Rocq terms in OCaml

语言：OCaml · GitHub 星标：8 · Fork：1

话题：ocaml · ppx · ppx-rewriter · rocq · rocq-prover

在 GitHub 上查看原仓库