1. 13

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.

  1.  

  2. 6

    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.