Fundamental limits of proofs of programs [video]

(youtube.com) by matt_d | Nov 12, 2026 | 0 comments on HN