Zulip Chat Archive

Stream: Lean Together 2021

Topic: slides


view this post on Zulip Floris van Doorn (Jan 04 2021 at 07:13):

Do we want to collect slides here?

In any case, for everyone who wants to have a copy of my slides for my talk, here they are: measure.pdf

view this post on Zulip Rob Lewis (Jan 04 2021 at 07:14):

We'll link to them on the website too!

view this post on Zulip Stanislas Polu (Jan 04 2021 at 10:53):

Slides for the GPT-f talk on Tuesday: https://docs.google.com/presentation/d/10XcMLgh7wDRDtcj4FKqgEtqqWzZpkxmLDwpnWPntyP0/edit#slide=id.g97b8cb2395_0_0

view this post on Zulip Heather Macbeth (Jan 04 2021 at 15:56):

Macbeth-slides.pdf

view this post on Zulip Rob Lewis (Jan 05 2021 at 10:08):

I've put these slides on the schedule page. Speakers: I'll add yours if/when you send me a link or post here

view this post on Zulip Jannis Limperg (Jan 05 2021 at 11:54):

jannis.pdf

view this post on Zulip Edward Ayers (Jan 05 2021 at 12:26):

EWAyers-Widgets-LT2021.pdf

view this post on Zulip Patrick Massot (Jan 05 2021 at 12:30):

Thanks!

view this post on Zulip Koundinya Vajjha (Jan 05 2021 at 14:20):

Slides for the CertRL talk today: CertRL.pdf

view this post on Zulip Jason Rute (Jan 05 2021 at 16:23):

Slides for LeanStep talk: https://docs.google.com/presentation/d/1poOu2gP9mSGAdAFvOupHvf4tpgD33jACQLJAVcphA1g/edit?usp=sharing

view this post on Zulip Paula Neeley (Jan 06 2021 at 14:37):

My slides: LeanTogether2021.pdf
Also, here's a link to the formalization: https://github.com/paulaneeley/modal

view this post on Zulip Yasmine Sharoda (Jan 06 2021 at 17:18):

The slides.pdf for Generative Tools for Library Building
The github repo is here: https://github.com/ysharoda/Deriving-Definitions

view this post on Zulip Leonardo de Moura (Jan 06 2021 at 18:19):

LT2021-meta.pdf

view this post on Zulip Leonardo de Moura (Jan 06 2021 at 18:19):

LT2021.pdf

view this post on Zulip Sebastian Ullrich (Jan 06 2021 at 18:32):

My part from today: lean4-parsers-macros.pdf

view this post on Zulip Sebastian Ullrich (Jan 06 2021 at 18:33):

Nix, err, Lean 4 demo from Monday: An-Overview-of-Lean-4-Demo.pdf

view this post on Zulip Kenny Lau (Jan 06 2021 at 19:12):

My talk on 4:30 pm CET today: Jan6_Perfectoid.pdf, Jan6_Perfectoid_no_transition.pdf

view this post on Zulip Adam Topaz (Jan 06 2021 at 20:09):

Here are my slides, in case anyone is interested: lt2021.pdf

view this post on Zulip Adam Topaz (Jan 06 2021 at 20:10):

And the repo: https://github.com/adamtopaz/lean_localtheory

view this post on Zulip Adam Topaz (Jan 06 2021 at 20:10):

And here is @Colter MacDonald

view this post on Zulip Joe Hendrix (Jan 06 2021 at 20:22):

Here are my slides

view this post on Zulip Damiano Testa (Jan 07 2021 at 12:07):

You can find the slides for my talk here!

view this post on Zulip Gihan Marasingha (Jan 07 2021 at 15:01):

Slides for my bit on teaching maths with Lean: exlean_2021.pdf

view this post on Zulip Jeremy Avigad (Jan 07 2021 at 15:48):

From the education session: education.pdf

view this post on Zulip Jeremy Avigad (Jan 07 2021 at 16:14):

Also:

view this post on Zulip Logan Murphy (Jan 07 2021 at 16:38):

Hi everyone, here are the slides for my upcoming talk on Lean for Assurance Case management : LeanAssurance.pdf

view this post on Zulip Thomas Browning (Jan 07 2021 at 16:48):

Here are the slides for the Galois Theory talk: LT2021-Galois-Theory.pdf

view this post on Zulip Alena Gusakov (Jan 07 2021 at 16:49):

Here are the slides for my talk on formalizing Hall's Marriage Theorem: hall.pdf

view this post on Zulip Jasmin Blanchette (Jan 07 2021 at 17:57):

Here's The Hitchhiker's Guide to Logical Verification: https://github.com/blanchette/logical_verification_2020/raw/master/hitchhikers_guide.pdf
and the course's web page:
https://lean-forward.github.io/logical-verification/2020/index.html

view this post on Zulip Rob Lewis (Jan 07 2021 at 21:01):

I think I've linked all of the slides posted here on the website. Let me know if not or if you'd like to add your slides.

view this post on Zulip Marie Kerjean (Jan 08 2021 at 09:17):

Here are the slides for my talk: kerjean_slides_lean21.pdf

view this post on Zulip Patrick Massot (Jan 08 2021 at 09:29):

Thanks!


Last updated: May 08 2021 at 23:10 UTC