/coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq

Primary LanguageOCamlOtherNOASSERTION

Watchers