rfdickerson / 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
Home Page: http://cl-informatik.uibk.ac.at/cek/coqhammer/
License: Other