While originally designed as a Windows applications, WinKE will also run on other platforms, such as Linux (thanks to Wine).
To obtain a free copy of the latest version (currently 05/99) of the software please contact Ulle Endriss.
WinKE is supportive of an introductory textbook on classical logic (Marcello D'Agostino and Marco Mondadori, Logica, Edizioni Bruno Mondadori, 1997), but may also be used independently. WinKE has been used in courses on logic, automated reasoning, artificial intelligence, and philosophy at universities worldwide.
This web site provides access to a number of papers
on WinKE and the underlying proof system KE, a short list of features
supported by WinKE, some screen shots, a list of
known bugs, and contact