Löh, Clara Exploring formalisation : a primer in human-readable mathematics in Lean 3 with examples from simplicial topology Cham, Switzerland : Springer, 2022. iv, 147 p. -- (Surveys and tutorials in the applied mathematical sciences ; vol. 11) QA76.9A96 L64