Minicourse on extracting programs from proofs June 11, 2024 From 11 June 2024 to 13 June 2024, by Ingo Blechschmidt. See dedicated minicourse webpage.