coq-community/topology

Issues

• Recent warning fixes

  #43 opened 2 years ago by Columbus240
  2

• Add manifolds and smooth manifolds

  #29 opened 4 years ago by siraben
  16

• Create coding style

  #19 opened 4 years ago by stop-cran
  10

• SubspaceTopology Coercion

  #37 opened 3 years ago by Columbus240
  0

• Give specific examples

  #25 opened 4 years ago by stop-cran
  3

• Fix the compilation warnings

  #17 opened 4 years ago by Columbus240
  9

• Characterize RTop and its subspaces

  #35 opened 3 years ago by Columbus240
  0

• Long line & ordinals

  #22 opened 4 years ago by Columbus240
  4

• Issue creating simple topological space

  #32 opened 3 years ago by siraben
  6

• Abstract away facts about "closed under finitary union/intersection"

  #27 opened 4 years ago by Columbus240
  0

• Move set-theoretic lemmas to zorns-lemma

  #14 opened 4 years ago by Columbus240
  9

• Can't compile with ZornsLemma

  #4 opened 6 years ago by matthew-piziak
  3