Hampus Nyberg

Stream: new members

[Hampus Nyberg]

Hello everyone!
My name is Hampus and I'm a PhD student at KTH working in complex analysis. I'm currently taking a course in computer formalization of mathematics using lean at Stockholm University. I'm also trying to formalize Reproducing Kernel Hilbert spaces which I have some questions about but I'll post that in a separate thread.

[Yaël Dillies]

Hej Hampus! Hope I'll meet you when I am finally in Stockholm proper (this summer onwards)

[Hampus Nyberg]

Hej! I'm sure we will :)

[Julian Külshammer]

Hej! There are also a few people interested in Lean in Uppsala. Maybe we can get some interaction going after the summer.