aadi.ink

Lean | tags

Lean Into Lean

Keywords: #computing #lean

I had been trying to get into Lean. It’s an interactive theorem prover, and I’ve been curious about it since I first heard about it during a talk by Kevin Buzzard himself.

We were fortunate to have an in-person workshop about Lean recently and I have some notes! Let the lack of organisation and detail be a reflection of how little experience and knowledge I have of Lean. Be sure to keep that in mind while reading.