DistributedComponents/coqproject

Bash script for simple generation of Coq project metadata files

语言：Shell · GitHub 星标：9 · Fork：6

话题：bash · build-tools · coq

在 GitHub 上查看原仓库