# Topology

 Title: Topology Author: Stefan Friedrich Submission date: 2004-04-26 Abstract: This entry contains two theories. The first, Topology, develops the basic notions of general topology. The second, which can be viewed as a demonstration of the first, is called LList_Topology. It develops the topology of lazy lists. BibTeX: @article{Topology-AFP, author = {Stefan Friedrich}, title = {Topology}, journal = {Archive of Formal Proofs}, month = apr, year = 2004, note = {\url{https://isa-afp.org/entries/Topology.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License Depends on: Coinductive, Lazy-Lists-II Status: [ok] This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.