Stream: new members
Topic: Jordan Houser
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