3 ms·Interactive Tutorial of the Sequent Calculus4 points by joeyespo 14y agojohnbender 14y agoI was working through this quite quickly until I got hung up on meta-implication. I'll have to come back to it later :(