Hammering towards QED
Blanchette, J., Kaliszyk, C., Paulson, L, Urban, J.
BLANCHETTE, J., et al. Hammering towards QED. JOURNAL OF FORMALIZED REASONING. 2016, 9(1), 101-148. ISSN 1972-5787. DOI 10.6092/issn.1972-5787/4593.
Blanchette, J., Kaliszyk, C., Paulson, L, Urban, J.
BLANCHETTE, J., et al. Hammering towards QED. JOURNAL OF FORMALIZED REASONING. 2016, 9(1), 101-148. ISSN 1972-5787. DOI 10.6092/issn.1972-5787/4593.