3 ms·Yes. See the "Comparison with sequent calculus" section.by cubefox 1y agoYes. See the "Comparison with sequent calculus" section.