CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
created at Jan. 31, 2018, 11:31 a.m.
8 +0
218 +1
31 +0