Paste a proof as text: one numbered line each, with │ or | marks for the boxes and the justification at the end, as produced by Copy as text. The first line may give the sequent; otherwise the current problem is used.
│
|
Copying was blocked by the browser. Select the text below and copy it.
This app needs JavaScript.