Joseph Christianson

May 2019 Seajure: Lambda calculus-based proof systems in Clojure with LaTTe

SDE Joe Christianson explores how systems built on top of typed lambda calculus can verify complex mathematical proofs and more.