rocq-prover/opam

Archive for all Rocq and Coq-related opam packages organized in various repositories

语言：OCaml · GitHub 星标：174 · Fork：195

话题：coq · opam · opam-repository · rocq-prover

在 GitHub 上查看原仓库