APA (7th ed.) Citation

Löh, C. (2022). Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology (1st ed. 2022.). Springer International Publishing. https://doi.org/10.1007/978-3-031-14649-7

Chicago Style (17th ed.) Citation

Löh, Clara. Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology. 1st ed. 2022. Cham: Springer International Publishing, 2022. https://doi.org/10.1007/978-3-031-14649-7.

MLA (9th ed.) Citation

Löh, Clara. Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology. 1st ed. 2022. Springer International Publishing, 2022. https://doi.org/10.1007/978-3-031-14649-7.