Images of WinKE

Here are some screen shots showing the WinKE system in action: The WinKE Pigeons

The WinKE Pigeons

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, 17-Oct-2014 16:28:40 CESTby Ulle Endriss