v18.20
Share
Interaction Log
Completion Code
Color Scheme
Select an Argument
Instructor PIN:

Natural Deduction Proof Assistant

Interaction logging is on by default. Your proof steps are recorded locally so you can export them for review. You can turn this off in ⚙️ Settings.

Argument

    Proof Lines Level: 0
    ✓Goal

    Free Mode

    Click a line to select; double-click to edit.
    Edit
    Check