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) (PDF/EPUB Version)

Delivery: This can be downloaded Immediately after purchasing.

Version: Only PDF Version.

Compatible Devices: Can be read on any device (Kindle, NOOK, Android/IOS devices, Windows, MAC)

Quality: High Quality. No missing contents. Printable

Recommended Software: Check here