Zulip Chat Archive

Stream: new members

Topic: Introducing myself: Hunter Monroe


view this post on Zulip Hunter Monroe (Apr 12 2021 at 18:36):

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").

view this post on Zulip Hunter Monroe (Apr 12 2021 at 18:37):

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").

view this post on Zulip Bryan Gin-ge Chen (Apr 12 2021 at 18:52):

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


Last updated: May 14 2021 at 13:24 UTC