> Outside the CS bubble, being a PhD physicist has more prestige and status than being a PhD computer scientist. I disagree with this take. Just as there is more “applied” physics and “theoretical” physics there is…
What are good beginner resources to learn Lean?
> Outside the CS bubble, being a PhD physicist has more prestige and status than being a PhD computer scientist. I disagree with this take. Just as there is more “applied” physics and “theoretical” physics there is…
What are good beginner resources to learn Lean?