Post engagements
Back to post- aron is going to teach me Lean4 and I'll ask stupid questions!
- 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)!
