@inproceedings{c2803302a8234d8c96db8bf8539a0022,
title = "On Preserving the Computational Content of Mathematical Proofs: Toy Examples for a Formalising Strategy",
keywords = "Computational content, Formalisation, Interactive theorem provers, Isabelle/HOL, Machine learning, Proof assistants, Proof mining, Proof theory",
author = "Angeliki Koutsoukou-Argyraki",
note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 17th Conference on Computability in Europe, CiE 2021 ; Conference date: 05-07-2021 Through 09-07-2021",
year = "2021",
month = jul,
day = "2",
doi = "10.1007/978-3-030-80049-9_26",
language = "English",
isbn = "9783030800482",
series = "Lecture Notes in Computer Science",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "285--296",
editor = "{De Mol}, Liesbeth and Andreas Weiermann and Florin Manea and David Fern{\'a}ndez-Duque",
booktitle = "Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Proceedings",
address = "Germany",
}