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