Zulip Chat Archive
Stream: Lean Together 2021
Topic: slides
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
Rob Lewis (Jan 04 2021 at 07:14):
We'll link to them on the website too!
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
Heather Macbeth (Jan 04 2021 at 15:56):
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
Jannis Limperg (Jan 05 2021 at 11:54):
Edward Ayers (Jan 05 2021 at 12:26):
Patrick Massot (Jan 05 2021 at 12:30):
Thanks!
Koundinya Vajjha (Jan 05 2021 at 14:20):
Slides for the CertRL talk today: CertRL.pdf
Jason Rute (Jan 05 2021 at 16:23):
Slides for LeanStep talk: https://docs.google.com/presentation/d/1poOu2gP9mSGAdAFvOupHvf4tpgD33jACQLJAVcphA1g/edit?usp=sharing
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
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
Leonardo de Moura (Jan 06 2021 at 18:19):
Leonardo de Moura (Jan 06 2021 at 18:19):
Sebastian Ullrich (Jan 06 2021 at 18:32):
My part from today: lean4-parsers-macros.pdf
Sebastian Ullrich (Jan 06 2021 at 18:33):
Nix, err, Lean 4 demo from Monday: An-Overview-of-Lean-4-Demo.pdf
Kenny Lau (Jan 06 2021 at 19:12):
My talk on 4:30 pm CET today: Jan6_Perfectoid.pdf, Jan6_Perfectoid_no_transition.pdf
Adam Topaz (Jan 06 2021 at 20:09):
Here are my slides, in case anyone is interested: lt2021.pdf
Adam Topaz (Jan 06 2021 at 20:10):
And the repo: https://github.com/adamtopaz/lean_localtheory
Adam Topaz (Jan 06 2021 at 20:10):
And here is @Colter MacDonald
Joe Hendrix (Jan 06 2021 at 20:22):
Here are my slides
Damiano Testa (Jan 07 2021 at 12:07):
You can find the slides for my talk here!
Gihan Marasingha (Jan 07 2021 at 15:01):
Slides for my bit on teaching maths with Lean: exlean_2021.pdf
Jeremy Avigad (Jan 07 2021 at 15:48):
From the education session: education.pdf
Jeremy Avigad (Jan 07 2021 at 16:14):
Also:
- Logic and proof: http://leanprover.github.io/logic_and_proof/
- A paper about it: http://www.andrew.cmu.edu/user/avigad/Papers/learning_logic_and_proof.pdf
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
Thomas Browning (Jan 07 2021 at 16:48):
Here are the slides for the Galois Theory talk: LT2021-Galois-Theory.pdf
Alena Gusakov (Jan 07 2021 at 16:49):
Here are the slides for my talk on formalizing Hall's Marriage Theorem: hall.pdf
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
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.
Marie Kerjean (Jan 08 2021 at 09:17):
Here are the slides for my talk: kerjean_slides_lean21.pdf
Patrick Massot (Jan 08 2021 at 09:29):
Thanks!
Last updated: Dec 20 2023 at 11:08 UTC