Learning Lean in the Age of Artificial Intelligence

by Professor Adolfo Neto