Unabridged
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)
Chapter 1 - Introduction
Ready to play
0:00
12h 31m
Narrator
Premium Studio Voice
Quality
Lossless Audio (HQ)
Language
English (Original)
Download Size
189 MB