Learning Lean in the Age of Artificial Intelligence

od Professor Adolfo Neto