Back to Results
First PageMeta Content
Mathematical logic / Structure / Interpretation / First-order logic / Symbol / Permutation / Signature / Parity of a permutation / Combinatorial species / Mathematics / Model theory / Logic


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
Add to Reading List

Document Date: 2015-01-25 16:18:54

Open Document

File Size: 215,60 KB

Share Result on Facebook

City

Löwenheim / D. Protector / /

Currency

pence / /

IndustryTerm

e-translated / machinery / Function applications / proof tool / /

Organization

Technische Universität München / /

Person

Andrei Popescu Fakultät für Informatik / Jasmin Christian Blanchette / /

Position

distinguished symbols Guard / function guard / proof assistant / Each symbol Guard / guard / /

ProgrammingLanguage

Standard ML / /

Technology

ATM / dom / /

SocialTag