Zulip Chat Archive

Stream: new members

Topic: Lars Brünjes


view this post on Zulip Lars Brünjes (Jan 29 2021 at 00:25):

Hi all, I just want to introduce myself. My name is Lars Brünjes, I am a German mathematician turned software engineer and educator, have been playing with Coq every now and again for the last 20 years and recently discovered Lean and want to give it a try.

view this post on Zulip Adam Topaz (Jan 29 2021 at 01:59):

Hi @Lars Brünjes ! Welcome! Just thought I would mention that I really like your work on nonstandard etale cohomology.

view this post on Zulip Lars Brünjes (Jan 29 2021 at 02:01):

Thanks a lot, @Adam Topaz ! That's very kind of you to say! I thought nobody gave a damn... :grinning:

view this post on Zulip Kevin Buzzard (Jan 29 2021 at 02:11):

We're slowly but surely making our way to standard etale cohomology in lean


Last updated: May 14 2021 at 13:24 UTC