Post

aron
@adler.dev

session 11 of learning lean with @yetanotheruseless.com starting now 🏎️ lets formalise some algebra babyyyyyy 👶

aron@adler.dev

session 10 of learning lean with @yetanotheruseless.com starting now 🙌 join to get answers to all the lean questions you've been too afraid to ask 🫣

No replies yet.