Lean 4: A Guided Preview

Date:

Even earlier progress report on Lean 4.

Slides