coqhammer
PublicCoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
Creat:2018-01-31T19:31:02
Update:2025-02-17T07:55:57
228
Stars
0
Stars Increase
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory