Zulip Chat Archive

Stream: new members

Topic: Jordan Houser

view this post on Zulip Jordan Houser (Jan 22 2021 at 05:13):

Hello everyone, my name is Jordan. I recently discovered Lean and decided to join the community to motivate my learning. I am a senior undergrad with an interest in mathematical logic. Thank you for having me! Best wishes.

Last updated: May 14 2021 at 12:18 UTC