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

 (youtube.com)

4 points | by matt_d 10 hours ago ago

No comments yet.