Back to Results
First PageMeta Content
Automated theorem proving / Formal methods / Logic in computer science / Proof assistant / Isabelle / Coq / Mathematical proof / Interactive proof system / E theorem prover / Theoretical computer science / Mathematics / Software


Eclipse Proof General David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Abstract This is a description of a plan for new research which has been awarded an Eclipse
Add to Reading List

Document Date: 2004-03-23 07:03:59

Open Document

File Size: 128,62 KB

Share Result on Facebook

Facility

Script Management facility / University of Edinburgh / /

IndustryTerm

integrity hardware / interactive theorem proving systems / interactive proof systems / e-proof / theorem proving systems / generic tool / software engineering techniques / software systems / uniform protocol / /

Organization

University of Edinburgh / School of Informatics / /

Person

David Aspinall / Michael Schwartzbach / /

Position

Proof General and PGIP Proof General / tackle / Emacs text editor / Proof General / present Proof General / mediator / present Emacs Proof General / text editor / Eclipse Proof General Proof General / PG mediator / proof assistant / Eclipse Proof General / General / Emacs Proof General / /

ProgrammingLanguage

XML / Java / Emacs Lisp / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

XML / Java / uniform protocol / http / /

URL

http /

SocialTag