PG Kit Developers

Eclipse plugin

ProofGeneralEclipse was developed by Daniel Winterstein with additional code by AlexHeneveld . AhsanFayyaz added support for the PGBroker. It is currently being maintained and developed by DavidAspinall , ChristophLueth , AhsanFayyaz , AlexHeneveld , DanielWinterstein and HuaYang .


The ProofGeneralBroker has been developed by ChristophLueth .


The NewProofGeneralEmacs has been developed by DavidAspinall .


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

This topic: PG > ContactUs > PGKitCredits
Topic revision: r3 - 21 Aug 2006 - 11:41:56 - DavidAspinall
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies