nono2357 on Nostr: How the #Lean #language brings #math to #coding and coding to math ...
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
https://www.amazon.science/blog/how-the-lean-language-brings-math-to-coding-and-coding-to-math
#formal #proof