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.