Date: 2014-12-16 18:17:37

Mechanizing the Metatheory of Sledgehammer Jasmin Christian Blanchette and Andrei Popescu Fakultät für Informatik, Technische Universität München, Germany Abstract. This paper presents an Isabelle/HOL formalization o

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

File Size: 215,09 KB