/tactics

some Coq tactics I've found useful

Primary LanguageCoq

No issues in this repository yet.