Back to Results
First PageMeta Content
Functional languages / Lisp programming language / Emacs / Proof assistant / Coq / Lisp / Isabelle / Read–eval–print loop / Shell / Software / Computing / Computer programming


Adapting Proof General Proof General — Organize your proofs! Adapting Proof General 4.2pre to new provers October 2011 proofgeneral.inf.ed.ac.uk
Add to Reading List

Document Date: 2015-03-22 05:14:24

Open Document

File Size: 507,59 KB

Share Result on Facebook

IndustryTerm

interactive proof tools / Web address / /

OperatingSystem

GNU / /

Person

Thomas Kleymann / David Aspinall / /

Position

generic Proof General / proof assistant / standard Proof General / Prover Proof General / Emacs Proof General / assistant / Proof General / Adapting Proof General / existing Proof General / Copyright Proof General / instance and easy configuration Proof General / proof assistant for Proof General / Adapting Proof General Proof General / GNU General Public License / /

ProgrammingLanguage

Haskell / Emacs lisp / Lisp / /

Technology

XML-based protocol / /

URL

http /

SocialTag