Elementary applied topology - Covers the mathematics behind the exciting new field of applied topology. (HN)

Coq library that develops some of the basic concepts and results of general topology

Homology

Physics, Topology, Logic and Computation: A Rosetta Stone (2009)