Post

aron@adler.dev

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!