Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples From Simplicial Topol… by Clara Löh 0 Type: Book
