This library provides some basic tactics to augment the Coq standard library.
Tactical uses the project template from coq-project-template. If you use that template you can include Tactical as a dependency by adding it as a submodule:
git submodule add https://github.com/tchajed/coq-tactical vendor/tactical.