search

mit-plv / coqutil

Coq library for tactics, basic definitions, sets, maps
MIT License
41 stars 24 forks source link

Makefile: More robust printf invocation #105

Closed JasonGross closed 11 months ago

JasonGross commented 11 months ago

This way we can support people who are silly and name directories things like \n or %s