Dr Tarver explains sequent calculus and then implements a Haskell-like algebraic type system in ~2 pages of code. Definitely worth the 30 minutes of viewing time if you don’t quite understand why sequent calculus is so cool.
Thanks for sharing this.
I recommend checking out Logitext and The Incredible Proof Machine to play around with sequent calculus proofs. They’re also both open source.