Blaine William Rogers

Stream: new members

[Blaine William Rogers]

Hi! I've been interested in Lean for a while. I did an insignificant amount of work for Kevin Buzzard's Xena project at Imperial College when I was an undergrad. I'm doing advent of code in lean this year. I live in Tokyo, so I'll be asking questions at weird hours. よろしくお願いします！

[Johan Commelin]

Welcome! I hope you'll soon find out that you're not the only one online during "weird hours".