Seminar
| Parent Program: | |
|---|---|
| Location: | SLMath: Eisenbud Auditorium, Online/Virtual |
Keywords and Mathematics Subject Classification (MSC)
Primary Mathematics Subject Classification
No Primary AMS MSC
Secondary Mathematics Subject Classification
No Secondary AMS MSC
Do you want to start using Lean but feel lost at how to start? The goal of this session is to
1) equip you with a working version of Lean and mathlib (versions 4) on your machine,
2) introduce you to the avenues of assistance so you can learn more independently, and
3) impart a basic understanding of the pieces that go into developing in Lean
All interested parties are welcome and strongly encouraged to bring their laptops (even if they run Windows :).