epfl-systemf/camltac

OCaml as a Tactic Language for the Rocq Prover

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

话题：ltac2 · ocaml · rocq · rocq-prover

在 GitHub 上查看原仓库