Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Selected topics in infinite-dimensional topology (Monografie matematyczne)
RabbitMQ Layout: Basic Structure and Topology for Applications
代数拓扑基础: Elements of Algebraic Topology