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

Amperity engineer Joe Christianson explores how systems built on top of typed lambda calculus can verify complex mathematical proofs, and how that’s realized in the LaTTe proof assistant library.