Tool kit for computer-assisted informal reasoning