@inproceedings{6b4d618b1074474aa2180805a28ff1a1,
title = "Formalisation of Additive Combinatorics in Isabelle/HOL (Invited Talk)",
keywords = "Additive combinatorics, additive number theory, combinatorial number theory, formalisation of mathematics, interactive theorem proving, Isabelle/HOL, proof assistants",
author = "Angeliki Koutsoukou-Argyraki",
note = "Publisher Copyright: {\textcopyright} Angeliki Koutsoukou-Argyraki; licensed under Creative Commons License CC-BY 4.0 14th International Conference on Interactive Theorem Proving (ITP 2023); 14th International Conference on Interactive Theorem Proving, ITP 2023 ; Conference date: 31-07-2023 Through 04-08-2023",
year = "2023",
month = jul,
day = "26",
doi = "10.4230/LIPIcs.ITP.2023.1",
language = "English",
volume = "268",
series = "Leibniz International Proceedings in Informatics (LIPIcs)",
publisher = "Schloss Dagstuhl – Leibniz-Zentrum f{\"u}r Informatik",
pages = "1:1--1:2",
editor = "Adam Naumowicz and Thiemann, {Ren{\'e} }",
booktitle = "14th International Conference on Interactive Theorem Proving (ITP 2023)",
}