Post

As 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.