Tour — Guided Help

Free Download
Image showing a lifering in the middle (decorative), surrounded by the four ways you can get help with natural deductions. On the top is the phrase comprehensive help, with a screenshot of the help system. On the left is the phrase get help when you need them, with a screenshot of the hint window. On the bottom is the phrase video tutorials on demand, with a screenshot of the video tutorial help page. On the right is the phrase structure your assumptions, with a screenshot of the make assumption window.
Getting Help
There are four ways to get help: a comprehensive online help system, two sets of video tutorials, contextual hints, and structured assumptions.
Hints For Learners
The hint system was designed with learners in mind. Possible directions are suggested, so learners do not get stuck on a proof.
Google Analytics -->