Zulip Chat Archive

Stream: new members

Topic: Tyler Billingsley

Tyler Raven Billingsley (May 16 2021 at 04:01):

Hi! I'm a visiting assistant professor of mathematics at St. Olaf College in Northfield, Minnesota - just one year out of my PhD. I've recently played through the Natural Number Game & seen Kevin Buzzard's talks about the future of mathematics. This is my first experience with computer proof verification and I'm very intrigued to continue and possibly see how I (and/or students I end up working with, but for a very long time probably just I) could contribute to this project!

Scott Morrison (May 16 2021 at 05:22):

Pick some mathematics you think is fun, see what's already in mathlib, and ask here for advice or warnings regarding whatever the obvious next step is! :-)

Last updated: Dec 20 2023 at 11:08 UTC