Back to Results
First PageMeta Content
Theoretical computer science / Mathematical logic / Logic in computer science / Automated theorem proving / Proof assistants / Formal methods / Type theory / Isabelle / First-order logic / Logic for Computable Functions / Unification / HOL


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
UPDATE