Proceedings First International Workshop on Hammers for Type Theories
Jasmin Christian Blanchette, Cezary Kaliszyk
TL;DR
This workshop proceedings presents recent research on tools and methods for formal reasoning in type theories, including invited talks, aiming to advance automated reasoning in formal logic systems.
Contribution
It compiles initial research and discussions on Hammers for Type Theories, fostering collaboration and development in automated reasoning tools for type theories.
Findings
Includes four research papers on type theory reasoning tools
Features invited talks on recent advances in automated reasoning
Provides a platform for future research collaboration
Abstract
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 Automated Reasoning (IJCAR 2016) in Coimbra, Portugal. The proceedings contain four regular papers, as well as abstracts of the two invited talks by Pierre Corbineau (Verimag, France) and Aleksy Schubert (University of Warsaw, Poland).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.