1. Home
  2. Science
  3. Mathematics
  4. WinKE

Science · Mathematics

WinKE

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

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.

Tags

Meetings

Where it sits

Science Mathematics

More in Mathematics

See all →