Browsing: Programmers

Introduction to Lean for Programmers

By

Intro to proof assistants who transitioned into data science, and I work daily with machine learning algorithms. I’m fascinated both by their apparent magic and by…