environments and tools / interactive proof tools / /
OperatingSystem
GNU / /
Organization
HOL Light See Chapter / University of Edinburgh / See Chapter / British Council / Isabelle2009-2 See Chapter / School of Informatics / /
Person
Tobias Nipkow / Mitsuharu Yamamoto / Norbert Voelker / Martin Buechi / Robin Green / Isabelle Proof / Adam Megacz / Robert R. Schneck / Pierre Casteran / James McKinna / Paul Callaghan / Mike Squire / Lawrence Paulson / Dilip Sequeira / Sebastian Skalberg / Patrick Loiseleur / Pascal Brisset / John Longley / David Aspinall / Florian Haftmann / Peter Lammich / Pierre Lescanne / Ivan Filippenko / Randy Pollack / Leonor Prensa Nieto / Stefan Berghofer / Kim Hyung Ho / David von Oheimb / Norbert Schirmer / Rod Burstall / Alex Krauss / Matt Fairtlough / James Brotherston / Markus Wenzel / Martin Hofmann / Thomas Kleymann / Isabelle Phox / Lucas Dixon / Stefan Monnier / Pierre Courtieu / Erik Martin-Dorel / Christoph Wedler / Georges Gonthier / Graham Dutton / Hendrik Tews / Mark A. Hillebrand / /
Position
author / assistant ! / command-line shell interpreter / Broker / assistant / GNU General Public License / /
Proof General Organize your proofs! User Manual for Proof General 4.2pre January 2012 proofgeneral.inf.ed.ac.uk