These are Java Applets. We are tended not to favor them going forward as it is unclear that they will run quickly and easily on the various computing devices. The Proof Applet The Symbolization Applet The Tree Applet The Tree Applet for Modal Trees Lambda Applet Book traversal links for Java Applets ‹ The Modal Truth Table Widget Up The Proof Applet ›