Zulip Chat Archive

Stream: Lean Together 2019

Topic: slides for datatypes talk?

Zans Mihejevs (Jan 07 2019 at 15:29):

does anyone know where I can find them?

Rob Lewis (Jan 07 2019 at 15:31):

amsterdam_avigad.pdf

Zans Mihejevs (Jan 07 2019 at 15:31):

thank you!

Last updated: Dec 20 2023 at 11:08 UTC