Reihe Surveys and Tutorials in the Applied Mathematical SciencesClara Löh × Exploring FormalisationA Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial TopologyClara LöhSpringer International PublishingSoftcover202253,49 € Exploring FormalisationA Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial TopologyClara LöhSpringer International PublishingeBook202253,49 €
