Proofs about programs, proofs as programs, and programs as proofs!
video available
by
Katherine Ye
at
!!Con 2014
on
Jun 18th, 2021