A button that allows you to go back directly to the beginning of a cut-elimination sequence would be welcome. At the moment you need to click the go-back-button for each cut-elimination step, which can take a lot of time, specially since the button change place on the webpage if the size of the derivation change.
A button that allows you to go back directly to the beginning of a cut-elimination sequence would be welcome. At the moment you need to click the go-back-button for each cut-elimination step, which can take a lot of time, specially since the button change place on the webpage if the size of the derivation change.