remove_premise
Remove a specific premise from your current logical proof session using its index. Streamline your proof by deleting unnecessary premises.
Instructions
Remove a premise by index from the current session.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| index | Yes | Index of the premise to remove (0-based) | |
| session | No | Session name (defaults to current session) |