WinKE

WinKE
All Links

Share this:

Details of WinKE

About WinKE
WinKE- 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.
Meetings