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 / /