Post

session 8 of learning lean with @yetanotheruseless.com starting in 45m! we're going to prove some algebra theorems yo