dlesbre/coq-prettier-makefile

Prettify the output of coq makefiles

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

话题：coq · makefile

在 GitHub 上查看原仓库