Completed
Formalization
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Formal Mathematics for Mathematicians and Mathematics Students - IPAM at UCLA
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Topology
- 3 General topology
- 4 Proof structure
- 5 Formalization
- 6 readable proof script
- 7 English translation
- 8 Open AI DaVinci
- 9 Tiny URL
- 10 Gold State
- 11 Close Neighborhood
- 12 Set Image Subset
- 13 Lean Informal
- 14 Future steps
- 15 Complicated proof
- 16 Unreliable proof
- 17 Technical talk
- 18 Lean code
- 19 Simp
- 20 Proof in Lean
- 21 Python
- 22 Lean
