•1 min read•from Towards Data Science
Introduction to Lean for Programmers
The syntax and semantics of mathematics
The post Introduction to Lean for Programmers appeared first on Towards Data Science.
Want to read more?
Check out the full article on the original site