Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology - Surveys and Tutorials in the Applied Mathematical Sciences - Clara Loh - Books - Springer International Publishing AG - 9783031146480 - September 25, 2022
In case cover and title do not match, the title is correct

Clara Loh
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology - Surveys and Tutorials in the Applied Mathematical Sciences 1st ed. 2022 edition

Price
$ 57.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 10 - 16

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean. After a quick introduction to Lean, the basic techniques of human-readable formalisation are introduced, illustrated by simple examples on maps, induction and real numbers.

147 pages, 1 Illustrations, black and white; VI, 147 p. 1 illus.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 25, 2022
ISBN13 9783031146480
Publishers Springer International Publishing AG
Pages 147
Dimensions 150 × 220 × 10 mm   ·   301 g
Language German  

More by Clara Loh

Show all

Mere med samme udgiver

See all of Clara Loh ( e.g. Paperback Book )