Expand oss nodes #3061
This MR brings a new entry to the context menu of the proof tree settings, which allows users to expand all, but keep One Step Simplifier nodes collapsed.
Artifacts
- 09. Mar 2023 13:12 (3380.10 kB large)
This MR brings a new entry to the context menu of the proof tree settings, which allows users to expand all, but keep One Step Simplifier nodes collapsed.