Carter Cobb - introduction

Stream: new members

[carter]

starting a thread to introduce myself! my name is carter, and i'm an undergrad at brown university. i got interested in Lean after taking a class with Rob Lewis in the fall. i think i’m mainly interested in doing elementary mathematics in Lean for fun. the coolest thing i’ve done is my final project for the aforementioned class, where i solved problem A3 of the 2018 Putnam competition in Lean. lately, i've been having fun trying my hand at some AMC problems.

it’s great that there’s such an active Lean community—i’ve found answers to a lot of questions i had just by searching on this site, and i’m sure it’ll continue to be a great resource. thank you to all who contribute here, as well as those working on mathlib and Lean’s development!

[Kevin Buzzard]

Hey that's an excellent project! I hope that by the end of my course my students will be doing projects as ambitious as that. If you're interested in contributing to mathlib proper then take a look at the wiki page on low-hanging fruit https://github.com/leanprover-community/mathlib/wiki/Undergrad-low-hanging-fruits

[carter]

thanks, will check it out!