LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom - Formal methods - Document - PDFSEARCH.IO

First Page	Meta Content
	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom Add to Reading List Document Date: 2015-01-25 16:18:54 Open Document File Size: 152,46 KB Share Result on Facebook City Z3 / / Company CNF / HOL / Institut Laboratory / / / Facility University of Cambridge / TPTP library / / IndustryTerm machinery / extensional pre-unification algorithm / function applications / automatic proof tools / / Organization Technische Universität München / University of Cambridge / / Person Lawrence C. Paulson / Jasmin Christian Blanchetteb / Isabelle / Lawrence C. Paulsona / Jasmin Christian Blanchette / / Position proof assistant / guard / type guard / Corresponding author / / Product Pentax K-x Digital Camera / THF0 / / ProgrammingLanguage Haskell / / Technology extensional pre-unification algorithm / Monomorphisation algorithms / / URL http / SocialTag Logic in computer science Automated theorem proving Formal methods Lambda calculus Proof assistant Isabelle Logic for Computable Functions HOL First-order logic Theoretical computer science

LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United KingdomAdd to Reading List