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