This Element gives a detailed analysis of Imre Lakatos' ideas on the philosophy of mathematics. It also gives an account of how other researchers developed this approach after his death, what has been achieved so far, and what its prospects for the future might be.