Search The Directory The Web for Home > Science > Math > Logic and Foundations > Software New! Submit a site   whatUseek Directory Site Listings:   Visual Turing - A graphical IDE that used to edit and play with Turing machines. Windows 95/98/NT/2000. Free to download, pay for source kit.   WinKE: A Proof Assistant for Teaching Logic - 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.     [ 1 2 ] Help build the largest human-edited directory on the web.   Submit a Site - Open Directory Project - Become an Editor

About   Help   Content Filter   Terms   Privacy Policy © 2018 whatUseek