3 ms·"The Best New Programming Language is a Proof Assistant" by Harry Goldstein [video]5 points by matt_d 1y ago