PG Kit Developers

Eclipse plugin

ProofGeneralEclipse was developed by [http://bigred.homelinux.org/~danielw Daniel Winterstein] with additional code by AlexHeneveld . It is currently being maintained and developed by DavidAspinall , ChristophLueth , AhsanFayyaz , AlexHeneveld and DanielWinterstein .

Broker

The ProofGeneralBroker has been developed by ChristophLueth .

PGEmacs

The NewProofGeneralEmacs has been developed by DavidAspinall .

PGWin

A first prototype of PGWin based on Haskell and sml-tk was developed by ChristophLueth and DavidAspinall in 2003. An updated version is in development, using Haskell with GTK.

Theorem prover support

DavidAspinall supplied the first native PGIP implementation for Isabelle. Development has been assisted by several Isabelle developers, including MakariusWenzel