HaTT@IJCAR

201620162016

Keyphrases

Publications

2016

Simon Cruanes, Jasmin Christian Blanchette
Extending Nunchaku to Dependent Type Theory. HaTT@IJCAR (2016)
Burak Ekici, Guy Katz, Chantal Keller, Alain Mebsout, Andrew J. Reynolds, Cesare Tinelli
Extending SMTCoq, a Certified Checker for SMT (Extended Abstract). HaTT@IJCAR (2016)
Fabian Kunze
Towards the Integration of an Intuitionistic First-Order Prover into Coq. HaTT@IJCAR (2016)
Lukasz Czajka, Cezary Kaliszyk
Goal Translation for a Hammer for Coq (Extended Abstract). HaTT@IJCAR (2016)

volume 210, 2016

Proceedings First International Workshop on Hammers for Type Theories, HaTT@IJCAR 2016, Coimbra, Portugal, July 1, 2016. HaTT@IJCAR 210 (2016)