Horror for Newbies

Exploring Formalisation > Editions

by Clara Löh

Sort by
Format
Language
Editions
Showing 1-2 of 2
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology (Surveys and Tutorials in the Applied Mathematical Sciences, 11)
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology (Surveys and Tutorials in the Applied Mathematical Sciences, 11)
Published September 25th 2022 by Springer
1st ed. 2022, Paperback, 153 pages
Author(s):
ISBN:
9783031146480 (ISBN10: 3031146484)
ASIN:
3031146484
Edition language:
English
Average rating:
5.00 (2 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology (Paperback)
Published September 25th 2022 by Springer
1st ed. 2022, Paperback, 153 pages
Author(s):
ASIN:
B0F26WDP5H
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page