Organize and Share your Electronics the way you want. Sign-Up for a free account now. It takes only 30 seconds!
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.