coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
211 stars
8 watching
31 forks
Language: OCaml
last commit: 2 months ago
Linked from 1 awesome list
automationcoqdependent-typeshammerproof-searchtheorem-proververification