Post

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.