Crossmark

Hammer for Coq: Automation for Dependent Type Theory

Crossref DOI link: https://doi.org/10.1007/s10817-018-9458-4

Published Online: 2018-02-27

Published Print: 2018-06

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Czajka, Łukasz

Kaliszyk, Cezary https://orcid.org/0000-0002-8273-6059
Funding

Funding for this research was provided by:

European Research Council (714034)

Austrian Science Fund (P26201)
License Information

Text and Data Mining valid from 2018-02-27
More Information

Article History

Received: 30 March 2017

Accepted: 20 February 2018

First Online: 27 February 2018