Back to Results
First PageMeta Content
Formal methods / Automated theorem proving / Mathematical logic / Constraint programming / SPASS / Isabelle / Satisfiability Modulo Theories / Mathematical proof / Vampire / Theoretical computer science / Mathematics / Applied mathematics


Document Date: 2014-08-27 06:04:04

Open Document

File Size: 585,88 KB

Share Result on Facebook

Company

Sledgehammer / Lawrence C. Paulson Computer Laboratory / /

/

Facility

World Wide Web Library / University of Cambridge August / /

IndustryTerm

proxy server / otherwise remarkable tool / Web Library / possible solutions / web service / proof search / /

Organization

HOL Jasmin Christian Blanchette Institut für Informatik / University of Cambridge / Technische Universität München / /

Person

Metis / Jasmin Christian Blanchette / /

Position

author / General / /

ProgrammingLanguage

Perl / /

Technology

proxy server / http / Perl / machine learning / /

URL

http /

SocialTag