session_show
Display the current derivation state and formula after each derivation operation, with optional step history.
Instructions
Show the current derivation state and formula
⚠️ Must be called after each derivation operation to show the user the result!
Args:
show_steps: Whether to show all step history
Returns:
Current formula LaTeX and derivation state
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| show_steps | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||