Hammer for Coq: automation for dependent type theory

From MaRDI portal
Publication:1663240

DOI10.1007/s10817-018-9458-4zbMath1448.68458OpenAlexW2792493843WikidataQ90699792 ScholiaQ90699792MaRDI QIDQ1663240

Cezary Kaliszyk, Łukasz Czajka

Publication date: 21 August 2018

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-018-9458-4




Related Items (21)


Uses Software


Cites Work


This page was built for publication: Hammer for Coq: automation for dependent type theory