Is This the End of Handwritten Math? Introducing Lean [video]

(youtube.com)

3 points | by AbstractPlay 2 days ago ago

No comments yet.