TY  - RPRT
TI  - Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle
AU  - Jonas Bayer
AU  - Marco David
AU  - Abhik Pal
AU  - Benedikt Stock
PY  - 2021
DO  - 10.1007/978-3-030-23250-4_2
UR  - https://arxiv.org/abs/2106.12351
ID  - 2106.12351
ER  -