Ứng dụng này bao gồm:
1. Giới thiệu về mà đi qua một bằng chứng và cho thấy làm thế nào nó có thể được coi như một trò chơi để trau dồi kỹ năng suy luận.
2. Một khu vực làm việc mà chứng minh được xây dựng.
3. Các thanh menu trong khu vực làm việc có các biểu tượng để truy cập vào:
a. Được xây dựng vào các bài tập.
b. Bước vào một bài tập từ một văn bản logic.
c. Tài Doc đó đi qua một bằng chứng với ứng dụng này.
d. Gợi ý (một công việc đang tiến)
e. Tương đương: cung cấp cho các equivalencies phổ biến nhất của một dòng trong chứng minh.
f. Cũng được hình thành: giải thích làm thế nào để nhập một tập thể dục.
g. Điều khoản quan trọng.
h. 18 quy tắc suy luận.
I. Lựa chọn một quy tắc suy luận được áp dụng cho một bước tiến mới trong chứng minh
Added answers to the exercises. Improved equivalency module.