Introducing myself: Stefan Kebekus

Stream: new members

[Stefan Kebekus]

Dear all,

I am Stefan Kebekus, a mathematician working in Freiburg. I got interested in Lean while Johan Commelin was working in our department. I have just finished working through "Mathematics in Lean"; as a first test project, I would like to formalize the most elementary statements of Nevanlinna theory… Let's see how that works out.

Looking forward to working with the community here! -- Best wishes,

Stefan.

[Michael Stoll]

Welcome!

[Stefan Kebekus]

Danke. Schön, Dich zu sehen … oder wie sagt man auf diesem Chat …

[Johan Commelin]

Hi hi! Great to see you here @Stefan Kebekus! (Six years ago, I walked into Stefan's office and asked him whether it was ok if I played a bit with this thing called Lean, even though he hired me to work on complex algebraic geometry. I'm very grateful that Stefan gave me the opportunity to do something crazy. :octopus: And all through my time in Freiburg he has been extremely supportive!)

[Stefan Kebekus]

@Johan Commelin Good to see that you are around. Looking forward to meeting you in person again.

[Stefan Kebekus]

@Johan Commelin If you have a second to look at the other question I just posted … I have been banging my head against concrete all day long …

[Jireh Loreaux]

Johan Commelin said:

I'm very grateful that Stefan gave me the opportunity to do something crazy.

We would be much worse off if he hadn't, so count me as grateful too.