Date: 2013-01-09 06:40:19

Towards Formal Proof Script Refactoring Iain Whiteside, David Aspinall, Lucas Dixon? , and Gudmund Grov School of Informatics, University of Edinburgh Edinburgh EH8 9AB, Scotland Abstract. We propose proof script refact

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 228,52 KB