10% OFF

Exploring Formalisation

A Primer In Human-Readable Mathematics In Lean 3 With Examples From Simplicial Topology

by Clara Loh
language: english
Publisher: Springer International Publishing AG, September of 2022 ‧
50,01€
10% OFF CARD
free shipping
Sell ​​your book
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.

Exploring Formalisation

A Primer In Human-Readable Mathematics In Lean 3 With Examples From Simplicial Topology

by Clara Loh

Property Description
ISBN: 9783031146480
Publisher: Springer International Publishing AG
Release Date: September of 2022
Language: English
Dimensions: 155 x 235 x 20 mm
Cover: Softcover
Pages: 147
Format: Book
Collection: Surveys And Tutorials In The Applied Mathematical Sciences
Categories: Books in English > Science > Mathematics
Books in English > Others
EAN: 9783031146480

BOOKS FROM THE SAME COLLECTION