Fundamental limits of proofs of programs [video]

(youtube.com)

1 points | by matt_d 5 hours ago ago