Back to Results
First PageMeta Content
Logic in computer science / Automated theorem proving / Formal methods / Proof assistant / Isabelle / HOL / Automated reasoning / Logic for Computable Functions / Theorem Proving in Higher-Order Logics / Theoretical computer science / Mathematical software / Mathematics


Standalone Tactics using OpenTheory Ramana Kumar?1 and Joe Hurd2 1 University of Cambridge
Add to Reading List

Document Date: 2012-06-04 20:10:04

Open Document

File Size: 191,23 KB

Share Result on Facebook

City

Portland / Cambridge / L.A. / /

Company

Paulson L.C. / Gates Cambridge Trust / Galois Inc. / /

Country

United States / United Kingdom / /

/

Facility

Standard Library / University of Cambridge Ramana.Kumar@cl.cam.ac.uk / /

IndustryTerm

remote proof tools / external tool / semantic web reasoning services / remote server / web requests / automatic tools / Proof tools / reasoning infrastructure / similar proof tools / reasoning tools / proof tool / external tools / functionality available in different systems / test server / /

OperatingSystem

Hurd / /

Organization

National Aeronautics and Space Administration / /

Position

Archer / /

Product

OpenTheory / /

ProgrammingLanguage

ML / /

Technology

virtual machine / CGI / /

URL

http /

SocialTag