Zulip Chat Archive

Stream: LftCM22

Topic: Length spaces

Sahana Balasubramanya (Jul 11 2022 at 18:57):

@Heather Macbeth If I have a choice, I'd rather do the length spaces project - that way I can be exposed to some of the more advanced methods in Lean.

Heather Macbeth (Jul 11 2022 at 19:08):

@Alba Marina MÁLAGA SABOGAL @antonio montalban @Sahana Balasubramanya Would you be interested in talking more about length spaces? I can set up a Zoom link.

Alba Marina MÁLAGA SABOGAL (Jul 11 2022 at 19:09):

Heather Macbeth said:

Alba Marina MÁLAGA SABOGAL antonio montalban Sahana Balasubramanya Would you be interested in talking more about length spaces? I can set up a Zoom link.

Sure !

Sahana Balasubramanya (Jul 11 2022 at 19:09):

@Heather Macbeth Sure ! Please do.

Heather Macbeth (Jul 11 2022 at 19:13):

@Patrick Massot will also be able to help you with this project.

Heather Macbeth (Jul 11 2022 at 19:14):

https://fordham.zoom.us/j/84405777005 @Alba Marina MÁLAGA SABOGAL @Sahana Balasubramanya

Sahana Balasubramanya (Jul 11 2022 at 19:21):

I am waiting to be let into the zoom meeting, in case anyone is already in the meeting.

Heather Macbeth (Jul 11 2022 at 19:22):

Sorry! Just added you.

Yury G. Kudryashov (Jul 11 2022 at 20:05):

I can also answer questions on Zulip.

Jim Fowler (Jul 13 2022 at 04:20):

I'd love to know how the length space project is progressing!

Last updated: Dec 20 2023 at 11:08 UTC