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)
Add this copy of Exploring Formalisation: a Primer in Human-Readable to cart. $93.95, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2022 by Springer.
