Jard

Stream: new members

[Jard]

Hey everyone, my name is Jard. I finally got lean set up properly and am ready to learn! I am from the Netherlands, and in the final year of my Bachelor in Mathematics, and one of my professors suggested a bachelor thesis topic involving lean and computer-assisted proofs. I'm very glad this community seems so welcoming, and I am excited to start working on this project!

[Johan Commelin]

Welcome! At which university are you?

[Jard]

I'm at the university of Groningen!

[Johan Commelin]

Nice! "Er gaat niets boven Groningen" :wink:
There's also a bunch of Lean users a bit more south (-; See also https://leanprover-community.github.io/meet.html