Support Interaction in Sequent View
-
Support the user by showing the applicable rules for a selected term in the sequent -
Create an appropriate RuleCommand
call for a selected applicable rule in the script area.
Edited by tk5165
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
RuleCommand
call for a selected applicable rule in the script area.