Fundamental limits of proofs of programs [video]

1 points | by matt_d 6 hours ago