Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Clara Loh
Out of stock
Format: Book (Paperback / softback)
Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Clara Loh
Download - Immediately Available
Format: eBook (PDF)