Programming 🐻
Speakers: Leonardo de Moura and Sebastian Ullrich Part of the workshop Lean Together 2021:https://leanprover-community.github.io/lt2021
❤️ My Kalimba: https://amzn.to/2Wor9yoSpotify: https://spoti.fi/34PU7NsApple Music: https://apple.co/3ihRWYi
This video was made possible by our Patreon community! ❤️See new videos early, participate in exclusive Q&As, and more!➡️ https://www.patreon.com/EconomicsEx...