Is This the End of Handwritten Math? Introducing Lean [video]youtube.com3 points·AbstractPlay··0 commentsOpen articleSaveView on HN