Post

session 13 of learning lean with @yetanotheruseless.com starting in just under 2 hrs (12pm UTC)❗ today we're going to explore finite groups a bit so we can build some intuitions for groups in a more tangible way join the party at twitch.tv/aronadler 🥳