Long awaited twitch stream alert 🚨 @texoport.in and I are going to be working through some problems in Lean and trying to develop some intuitions for dependent types in the process 💭 Tune in on twitch.tv/aronadler at 7:30pm BST (1hr from now)!