bawbagq.bsky.social reposted
bawbagq.bsky.social
Maybe why Jack Spratt loves it so much, but his wife doesn't 🤷♂️
if i were to write a post about Lean (the theorem proving language), what would be interesting to cover? i suppose the first question many might have is “why do i need this“ and the answer is “you don’t”, i’m not really trying to sell you on math. but is there something specific you’d want to know
You are up to date.