Skip to main content

(eBook PDF) Exploring Formalisation A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology

ibuks

$19.99
(No reviews yet) Write a Review
Condition:
New
Adding to cart… The item has been added
(eBook PDF) Exploring Formalisation A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology