EXPLORING FORMALISATION : A Primer in Human -readable Mathematics in Lean 3 with Examples. From Simplicial TopologyLöh · Surveys and Tutorials in the Applied Mathematical Sciences2022PDF1.8 MB