AI Tools Introduction to Lean for Programmers Intro to proof assistants who transitioned into data science, and I work daily with machine learning algorithms. I’m fascinated both…
