Lean 4: State of the ⋃Date: January 09, 2020Early progress report on Lean 4.Slides Video Previous Next
