Back to Results
First PageMeta Content
Propositional calculus / Logical syntax / Metalogic / Predicate logic / Principia Mathematica / First-order logic / Function / Constructible universe / Lambda calculus / Logic / Mathematics / Mathematical logic


Mechanizing Proof for the Z Toolkit R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street, Reading UK RG1 2HX
Add to Reading List

Document Date: 2008-07-11 10:35:59

Open Document

File Size: 259,98 KB

Share Result on Facebook

City

Reading / /

Company

ProofPower Output Tactic / R.D. Arthan Lemma 1 Ltd. / 2nd Floor / /

Country

United Kingdom / /

Currency

pence / /

/

Event

Labor Issues / /

IndustryTerm

style systems / purpose term-rewriting tools / equations involving function applications / theorem-proving technology / adequate proof tool / software engineering practice / cartesian product / union operator / /

Organization

Defence Research Agency / Malvern / Swiss army / /

Person

Larry Paulson / /

Position

programmer / /

ProgrammingLanguage

Ada / ML / Standard ML / Z notation / /

Technology

functional programming / theorem-proving technology / /

SocialTag