/coqproject

Bash script for simple generation of Coq project metadata files

Primary LanguageShell

Watchers