Lean 4: Reimplementing Lean in Lean
Date:
Report on my internship under Leonardo de Moura during which we devised the overall design of Lean 4.
Date:
Report on my internship under Leonardo de Moura during which we devised the overall design of Lean 4.