Back to Results
First PageMeta Content
Cryptographic protocols / Computational complexity theory / Interactive proof system / Proof assistant / Coq / IP / Isabelle / ACL2 / Emacs / Software / Theoretical computer science / Automated theorem proving


A Framework for Interactive Proof David Aspinall1 , Christoph L¨ uth2 , and Daniel Winterstein1 1 2
Add to Reading List

Document Date: 2007-10-25 09:31:45

Open Document

File Size: 315,59 KB

Share Result on Facebook

Company

The Proof General / /

Facility

The University of Edinburgh / /

IndustryTerm

software framework / inter-broker protocol / communication infrastructure / sub-protocols / prototype systems / interactive proof systems / context-aware search finds / shared tools / external tools / proof management / prover protocol / software components / display protocol / script management / proof systems / software development uses / proof search / software engineering methods / software verification / uniform protocol / /

OperatingSystem

Unix / Posix / /

Organization

University of Edinburgh / School of Informatics / U.S. Securities and Exchange Commission / /

Person

Prover Graphical / /

Position

Editor / modern programmer / broker / model of proof development / general control flow / electronic proof The broker / abstract model of incremental interactive proof development / /

ProgrammingLanguage

Haskell / XML / Emacs Lisp / HTML / /

Technology

three sub-protocols / XML / display protocol / knowledge management / inter-broker protocol / Unix / interactive proof The protocol / uniform protocol / prover protocol / PGIP protocol / HTTP / 3.3 The display protocol / HTML / 3.2 The prover protocol / /

SocialTag