WinKE Home
Software
Papers
Images
Contact
Images of WinKE
Here are some screen shots showing the WinKE system in action:
Image 1 (a simple KE proof in propositional logic)
Image 2 (application of a KE rule)
Image 3 (editing a new problem)
Image 4 (visualisation of a countermodel as a graph)
Image 5 (visualisation of a countermodel as a `pigeon hole scenario')
last modified on Friday, 15-Apr-2005 14:42:21 CEST by
Ulle Endriss
