You found 625 413.

Intro to Lean.

Harbor turns your 625 413 notes into a readiness map so you can see what looks solid, shaky, or missing.

Built from this class—not a generic study guide.

Free to open · No card