A Model for Capturing and Replaying Proof Strategies Leo Freitas, Cliff B. Jones, Andrius Velykis and Iain Whiteside School of Computing Science, Newcastle University, NE1 7RU, UK

First Page		Document Content
Date: 2015-04-10 11:01:31 Statements Conjectures		A Model for Capturing and Replaying Proof Strategies Leo Freitas, Cliff B. Jones, Andrius Velykis and Iain Whiteside School of Computing Science, Newcastle University, NE1 7RU, UK Add to Reading List Source URL: www.ai4fm.org Download Document from Source Website File Size: 336,68 KB Share Document on Facebook