
Publications
Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle
(2019)
11617,
16
(doi: 10.1007/978-3-030-23250-4_2)
Beeindruckende Mathematik-Erfolge im 53. Bundeswettbewerb ,Jugend forscht‘
– Mitteilungen der Deutschen Mathematiker-Vereinigung
(2018)
26,
55
(doi: 10.1515/dmvm-2018-0021)
- <
- 2 of 2