Yirmiuc / libcoq-hammer

automated reasoning tool for Coq