Back to Results
First PageMeta Content
Formal methods / Automated theorem proving / Complexity classes / Functional languages / Proof assistant / Isabelle / Theorem prover / IP / Literate programming / Theoretical computer science / Computing / Software


Assisted Proof Document Authoring David Aspinall1 , Christoph L¨ uth2 , and Burkhart Wolff3 1 2
Add to Reading List

Document Date: 2006-09-27 08:42:21

Open Document

File Size: 307,42 KB

Share Result on Facebook

City

Bremen / /

Company

Graphical User Interface Text / /

Country

Germany / /

Facility

The University of Edinburgh / /

IndustryTerm

contemporary systems / software framework / arbitrary external tools / interface technology / proof search / software development / /

OperatingSystem

Unix / /

Organization

U.K. Department of Mathematics and Computer Science / Department of Computer Science / University of Edinburgh / School of Informatics / /

Person

IDE PGIP / IDE PGIP PGIP PGIP / Nat / Prover / /

Position

author / Editor / Proof Document Broker / Proof General / broker / PG Kit Architecture The Proof General / text editor / tool Broker / proof assistant / Backflow Proof Assistant / /

ProgrammingLanguage

LATEX / L / /

Technology

XML / Unix / PGIP protocol / HTML / PDF / interface technology / GUI / usual PGIP protocol / /

SocialTag