Thomas Lin @7homaslin.com · 15/08/2026As seen at @powells.bsky.social in Portland, OR, today, @kevinhartnett.bsky.social’s mathematical thriller about the birth and rise of the verification language Lean, THE PROOF IN THE CODE. 010
