PGWin: a desktop for theorem proving

PGWin is based on the ideas of the IsaWin Isabelle interface. It is being reimplemented for the ProofGeneralKit architecture, using Haskell and the GTK Toolit.

Topic revision: r2 - 21 Aug 2006 - 15:08:48 - 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