Lean 4: A Guided PreviewDate: January 07, 2019Even earlier progress report on Lean 4.Slides Previous Next