Post

session 14 of learning lean with @yetanotheruseless.com starting in 1h (11am UTC) 🚨 continuing with some theorems about finite groups this week so tune in!

aron@adler.dev

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 🥳