Concrete Semantics with Coq and CoqHammer

Łukasz Czajka, Burak Ekici and Cezary Kaliszyk
11th Conference on Intelligent Computer Mathematics (CICM 2018), Springer LNAI 11006, pp. 53 – 59, 2018.

abstract   BibTeX   PDF   doi:10.1007/978-3-319-96812-4_5  
Springer International Publishing AG, part of Springer Nature 2018