gmalecha/coq-plugin-utils

Useful utility functions for writing Coq plugins

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

话题：coq · coq-plugin · ocaml

在 GitHub 上查看原仓库