How the #Lean #language brings #math to #coding and coding to math

https://www.amazon.science/blog/how-the-lean-language-brings-math-to-coding-and-coding-to-math

#formal #proof