Colin Bloomfield

Stream: new members

[Colin Bloomfield]

Hello Lean Community! My name is Colin Bloomfield and my github user name is ColinBloomfield. I am interested in learning LEAN and contributing to the mathlib library. I think I can make useful contributions in category theory, order theory, logic and algebra.

I would like to get write access and hopefully I can start getting my feet wet my making some modest contributions in one of these areas. (E.g. I would love to make a simple edit and push it to get practice with the contributing workflow.)

I welcome any advice and suggestions on how best to contribute and get up to speed. Thanks for your consideration.

Best,
Colin