Support Interaction in Sequent View
- Support the user by showing the applicable rules for a selected term in the sequent
Create an appropriate
RuleCommandcall for a selected applicable rule in the script area.
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information