CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation...
A TACtic library for Agda