APA-Zitierstil (7. Ausg.)

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-Zitierstil (17. Ausg.)

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-Zitierstil (9. Ausg.)

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.