coq-community/topology issues and pull requests

#48 - Redefine `Subnet`

Pull Request - State: closed - Opened by Columbus240 6 months ago

#47 - Update for Coq v8.19, drop support of v8.15 and earlier

Pull Request - State: closed - Opened by Columbus240 6 months ago - 2 comments

#46 - Add notes about code formatting and style

Pull Request - State: open - Opened by Columbus240 over 1 year ago

#45 - Restructure cardinals, finiteness and homeomorphisms

Pull Request - State: closed - Opened by Columbus240 over 1 year ago

#44 - Rework `Completeness` and `Completion`

Pull Request - State: closed - Opened by Columbus240 over 1 year ago - 2 comments

#43 - Recent warning fixes

Issue - State: closed - Opened by Columbus240 over 1 year ago - 2 comments

#42 - Redefine well-orders and prove that their order is well-founded

Pull Request - State: open - Opened by Columbus240 over 2 years ago

#41 - Generalized Lindelöf Theorem

Pull Request - State: closed - Opened by Columbus240 over 2 years ago

#40 - Compact Hausdorff implies normal, without choice

Pull Request - State: closed - Opened by Columbus240 almost 3 years ago

#39 - Homeomorphism example

Pull Request - State: closed - Opened by Columbus240 almost 3 years ago - 8 comments

#38 - Minor changes, some breaking

Pull Request - State: closed - Opened by Columbus240 almost 3 years ago - 1 comment

#37 - SubspaceTopology Coercion

Issue - State: open - Opened by Columbus240 almost 3 years ago

#36 - Add homeomorphism example

Pull Request - State: closed - Opened by stop-cran almost 3 years ago - 4 comments

#35 - Characterize RTop and its subspaces

Issue - State: open - Opened by Columbus240 over 3 years ago
Labels: enhancement

#34 - Start a typeclass hierarchy of topological properties

Pull Request - State: closed - Opened by Columbus240 over 3 years ago - 1 comment

#33 - Misc development

Pull Request - State: closed - Opened by Columbus240 over 3 years ago

#32 - Issue creating simple topological space

Issue - State: open - Opened by siraben over 3 years ago - 6 comments

#31 - Miscellaneous changes

Pull Request - State: closed - Opened by Columbus240 over 3 years ago - 2 comments

#30 - WIP Manifolds

Pull Request - State: open - Opened by siraben over 3 years ago - 1 comment

#29 - Add manifolds and smooth manifolds

Issue - State: open - Opened by siraben over 3 years ago - 16 comments
Labels: enhancement

#28 - CSB implies LEM

Pull Request - State: closed - Opened by Columbus240 almost 4 years ago

#27 - Abstract away facts about "closed under finitary union/intersection"

Issue - State: open - Opened by Columbus240 almost 4 years ago

#26 - Wip euclidean spaces

Pull Request - State: open - Opened by Columbus240 about 4 years ago - 2 comments

#25 - Give specific examples

Issue - State: open - Opened by stop-cran about 4 years ago - 3 comments

#24 - Begin working on Hartogs numbers

Pull Request - State: closed - Opened by Columbus240 about 4 years ago - 1 comment

#23 - Characterize FiniteT & CountableT via cardinals

Pull Request - State: closed - Opened by Columbus240 about 4 years ago

#22 - Long line & ordinals

Issue - State: open - Opened by Columbus240 about 4 years ago - 4 comments

#21 - reference more precise name of Complement for 8.10 compatibility

Pull Request - State: closed - Opened by palmskog about 4 years ago - 1 comment

#20 - Metadata fixes

Pull Request - State: closed - Opened by palmskog about 4 years ago - 2 comments

#19 - Create coding style

Issue - State: open - Opened by stop-cran about 4 years ago - 10 comments

#18 - Merge zorns-lemma

Pull Request - State: closed - Opened by Columbus240 about 4 years ago - 9 comments

#17 - Fix the compilation warnings

Issue - State: open - Opened by Columbus240 about 4 years ago - 9 comments

#16 - Prettify Continuity.v a little

Pull Request - State: closed - Opened by Columbus240 about 4 years ago - 4 comments

#15 - enable the extra-dev opam repo in all ci

Pull Request - State: closed - Opened by palmskog about 4 years ago

#14 - Move set-theoretic lemmas to zorns-lemma

Issue - State: closed - Opened by Columbus240 about 4 years ago - 9 comments

#13 - Simplify a proof & other minor stuff

Pull Request - State: closed - Opened by Columbus240 about 4 years ago - 7 comments

#12 - Add CI for 8.13

Pull Request - State: closed - Opened by palmskog about 4 years ago

#11 - Compatibility fixes

Pull Request - State: closed - Opened by palmskog about 4 years ago

#10 - Regenerate files from latest templates.

Pull Request - State: closed - Opened by Zimmi48 over 4 years ago - 1 comment

#9 - update to 8.11

Pull Request - State: closed - Opened by amiloradovsky almost 5 years ago

#8 - Quotient space definition.

Pull Request - State: closed - Opened by stop-cran almost 5 years ago - 3 comments

#7 - RTop is second-countable; equivalence of continuity definitions.

Pull Request - State: closed - Opened by stop-cran about 5 years ago - 1 comment

#6 - Add connectedness and compactness preservation by homeomorphisms.

Pull Request - State: closed - Opened by stop-cran over 5 years ago - 1 comment

#5 - Add idempotence properties of interior and closure.

Pull Request - State: closed - Opened by stop-cran over 5 years ago - 1 comment

#4 - Can't compile with ZornsLemma

Issue - State: closed - Opened by matthew-piziak almost 6 years ago - 3 comments

#3 - describe the package properly, add the standard files

Pull Request - State: closed - Opened by amiloradovsky almost 6 years ago - 12 comments

#2 - excess bullet fix

Pull Request - State: closed - Opened by amiloradovsky about 6 years ago - 1 comment

#1 - Modernizing for Coq 8.7+

Pull Request - State: closed - Opened by amiloradovsky over 6 years ago - 7 comments

GitHub / coq-community/topology issues and pull requests