Evgenia Karunus:: All Lean Books And Where To Find Them
Discovered: Aug 3, 2026 16:36 (UTC) Evgenia Karunus:: All Lean Books And Where To Find Them <–Super good list! Doesn’t have Kevin Hartnett’s ‘The Proof is in the Code’
Discovered: Aug 3, 2026 16:36 (UTC) Evgenia Karunus:: All Lean Books And Where To Find Them <–Super good list! Doesn’t have Kevin Hartnett’s ‘The Proof is in the Code’