uwplse/coq-plugin-lib

Library of useful utility functions for Coq plugins

语言：OCaml · GitHub 星标：13 · Fork：5

话题：coq · coq-library · coq-plugin · library · pumpkin-patch

在 GitHub 上查看原仓库