Publish AI, ML & data-science insights to a global community of data professionals.

Ronen Lahat

Introduction to Lean for Programmers
Programming
The syntax and semantics of mathematics
Ronen Lahat
May 19, 20269 min read

Introduction to Lean for Programmers