Jordan Houser

Stream: new members

[Jordan Houser]

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.