@article{8ec8a17eb8fb409cb498864f7436c4d3,
title = "Formalising Mathematics – in Praxis; A Mathematician{\textquoteright}s First Experiences with Isabelle/HOL and the Why and How of Getting Started",
keywords = "Formalisation of mathematics, Interactive theorem proving, Isabelle/HOL, Proof assistant",
author = "Angeliki Koutsoukou-Argyraki",
note = "Publisher Copyright: {\textcopyright} 2020, The Author(s).",
year = "2021",
month = mar,
doi = "10.1365/s13291-020-00221-1",
language = "English",
volume = "123",
pages = "3--26",
journal = "Jahresbericht der Deutschen Mathematiker-Vereinigung",
issn = "0012-0456",
publisher = "Springer Science and Business Media Deutschland GmbH",
number = "1",
}