Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology

MLA

Löh, Clara. Exploring Formalisation : A Primer In Human-readable Mathematics In Lean 3 with Examples From Simplicial Topology. Cham: Springer International Publishing AG, 2022.

APA

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

Chicago

Löh, Clara. Exploring Formalisation : A Primer In Human-Readable Mathematics In Lean 3 with Examples From Simplicial Topology. Cham: Springer International Publishing AG, 2022.