sequentish "You Didn't Know It, but You Really Want to Learn Sequent Calculus" Slides and more at https://arosien.github.io/sequentish.