Alasdair Hill – practice talk for AITP’18: Automation by Analogy, in Coq, 21.03.2018 by Rob Stewart • January 9, 2018 • DSG Research Seminars: Logic and Programming Languages