Edwin Brady. Ivor, a Proof Engine. In Zoltán Horváth, Viktória Zsók, Andrew Butterfield, editors, Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. Volume 4449 of Lecture Notes in Computer Science, pages 145-162, Springer, 2006. [doi]
Abstract is missing.