search

lukaszcz / coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
Other
217 stars 31 forks source link

remove vos, vok, and cache files in tests directories on clean #94

Closed palmskog closed 4 years ago

palmskog commented 4 years ago

Fixes #93.