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.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.