# Seajure May 2019: Proof systems in LaTTe

## Prove It.

* 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.*

* 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.*