Exploring Formalisation A Primer In Human Readable Mathematics In Lean | Desertcart SINGAPORE
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology: 11 (Surveys and Tutorials in the Applied Mathematical Sciences, 11)