"The Best New Programming Language is a Proof Assistant" by Harry Goldstein [video]

(youtube.com)

5 points | by matt_d 13 hours ago

No comments yet.