wilcoxjay/tactics

some Coq tactics I've found useful

This repository is not active