Web Directory

    Top: Science: Math: Logic_and_Foundations: Software:

 

WinKE

  Link Details for: WinKE
Link Title: WinKE Open in a new window
Link URL: http://staff.science.uva.nl/~ulle/WinKE/
Link Details: 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.
Category: Top : Science : Math : Logic_and_Foundations : Software
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
WinKE