Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology - Löh, Clara (Cham Springer International Publishing AG, 2022)