WinKE is an interactive proof assistant based on analytic tableaux, and designed for the teaching of deductive reasoning. Ordering information is available at this site, as are academic papers on the design of the software.
Authored by
at
, Added: Mar 8, 2004
http://www.dcs.kcl.ac.uk/staff/endriss/WinKE/
