What can formal systems do for mathematics? A discussion through the lens of proof assistants

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	60 Jahre DVMLG, Tributes
Editors	Benedikt Löwe, Deniz Sarikaya
Place of Publication	London
Publisher	College Publications
Pages	139-169
Number of pages	31
Volume	48
Publication status	Published - 2022

Access to Document

@inproceedings{eaea1bbede2742c8aefbb1fcc938e229,

title = "What can formal systems do for mathematics? A discussion through the lens of proof assistants",

author = "Angeliki Koutsoukou-Argyraki",

year = "2022",

language = "English",

volume = "48",

pages = "139--169",

editor = "Benedikt L{\"o}we and Deniz Sarikaya",

booktitle = "60 Jahre DVMLG, Tributes",

publisher = "College Publications",

}