TWiki> PG Web>ContactUs>PGKitCredits (revision 1)EditAttach

PG Kit Developers

Eclipse plugin

ProofGeneralEclipse was developed by [ Daniel Winterstein] with additional code by AlexHeneveld . It is currently being maintained and developed by DavidAspinall , ChristophLueth , AhsanFayyaz , AlexHeneveld and DanielWinterstein .


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

Edit | Attach | Print version | History: r3 < r2 < r1 | Backlinks | Raw View | Raw edit | More topic actions...
Topic revision: r1 - 20 Aug 2006 - 15:18:21 - 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