https://github.com/lukaszcz/coqhammer
OCaml192
6 months ago
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
Other