5. Reference guide

  1. Installation instructions
  2. ATP
  3. Menus
  4. Rules of first-order logic, as implemented
  5. Syntax
  6. Tactics for first-order logic, as implemented