Amperity author icon

Joseph Christianson

Senior Software Engineer, Amperity

Posts & Resources

Teal datawave pattern

Video

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.

Watch now