Recording: https://www.youtube.com/watch?v=skdxWKyxETI
Notes for today’s South Alabama colloquium talk:
- Slides: https://docs.google.com/presentation/d/15VpaFgdW2UXuId-6y1WiCv9_M2mXvGU1DVq6aZuz_5c/edit?usp=sharing
- Lean Game Server: https://adam.math.hhu.de/
mathlibproject: https://leanprover-community.github.io/mathlib-overview.htmlcode4math.orgcommunity: https://code4math.org