Proof Assistants and the Dynamic Nature of Formal Theories

Robert L. Constable. Proof Assistants and the Dynamic Nature of Formal Theories. In Jacques D. Fleuriot, Peter Höfner, Annabelle McIver, Alan Smaill, editors, ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, Manchester, UK, June 2012. Volume 17 of EPiC Series, pages 1-15, EasyChair, 2012. [doi]

Abstract

Abstract is missing.