Only run coq makefile when needed - Githubissues

mit-plv / coqutil

Coq library for tactics, basic definitions, sets, maps

MIT License

41 stars 24 forks source link

Only run coq makefile when needed #106

Closed samuelgruetter closed 11 months ago