clear_session
Clear all premises and conclusion from a session to reset it for new proof inputs.
Instructions
Clear all premises and conclusion from a session.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| session | No | Session name to clear (defaults to current session) |