@inbook{eaea1bbede2742c8aefbb1fcc938e229,
title = "What can formal systems do for mathematics? A discussion through the lens of proof assistants: (Article containing interviews with Jeremy Avigad, Jasmin Blanchette, Fr{\'e}d{\'e}ric Blanqui, Kevin Buzzard, Johan Commelin, Manuel Eberl, Timothy Gowers, Peter Koepke, Assia Mahboubi, Ursula Martin, Lawrence C. Paulson)",
author = "Angeliki Koutsoukou-Argyraki",
year = "2022",
language = "English",
isbn = "978184890-411-8 ",
volume = "48",
pages = "139--169",
editor = "Benedikt L{\"o}we and Deniz Sarikaya",
booktitle = "60 Jahre DVMLG, Tributes",
publisher = "College Publications",
}