jfehrle / coqhammer Goto Github PK
View Code? Open in Web Editor NEWThis project forked from lukaszcz/coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
License: GNU Lesser General Public License v2.1