29 citations · 56 across the 17 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
Goal Translation for a Hammer for Coq (Extended Abstract)
Łukasz Czajka, Cezary Kaliszyk
Hammers are tools that provide general purpose automation for formal proof assistants. Despite the gaining popularity of the more advanced versions of type theory, there are no ham…
cs.LO2016
Proceedings First International Workshop on Hammers for Type Theories
Jasmin Christian Blanchette, Cezary Kaliszyk
This volume of EPTCS contains the proceedings of the First Workshop on Hammers for Type Theories (HaTT 2016), held on 1 July 2016 as part of the International Joint Conference on A…