Learning Lean in the Age of Artificial Intelligence

- Professor Adolfo Neto