Add test_target and quote make_target

coq-community / templates

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@palmskog,@Zimmi48]

The Unlicense

13 stars 8 forks source link

Closed liyishuai closed 3 years ago