Introducing myself: Hunter Monroe

Stream: new members

[Hunter Monroe]

Hello, I am interested in contributing to Lean. I have a PhD in economics/game theory and BS in math, and have also published in computational complexity and theoretical physics. I have worked through the games, tutorials, and books, and thought I would contribute to mathlib, for instance, on rational functions (see my post under "Is there code for").

[Hunter Monroe]

Hello, I am interested in contributing to Lean. I have a PhD in economics/game theory and BS in math, and have also published in computational complexity and theoretical physics. I have worked through the games, tutorials, and books, and thought I would contribute to mathlib, for instance, on rational functions (see my post under "Is there code for").

[Bryan Gin-ge Chen]

Welcome! We have some info for new contributors (mostly about style and workflow) here. Feel free to ask any questions here on Zulip too!