lukaszcz / coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

lukaszcz/coqhammer Stargazers