Some updates to the “Foundations of Mathematics”:
- General debate initiated by Kevin Buzzard on formalizing mathematics: Where is the fashionable mathematics? (Feb. 2020)
- My comment on Kevin Buzzard’s intervention (Feb. 2020)
- Discussion links: Twitter, Y Combinator, Lean, Metamath
- Lean theorem prover (Feb. 2020)
- F* (Jan. 2023)