-
Notifications
You must be signed in to change notification settings - Fork 10
/
_CoqProject
81 lines (80 loc) · 2.85 KB
/
_CoqProject
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
-R theories/Topology Topology
-R theories/ZornsLemma ZornsLemma
-arg -set -arg "'Default Goal Selector=!'"
theories/Topology/AdjunctionSpace.v
theories/Topology/BanachFixedPoint.v
theories/Topology/Compactness.v
theories/Topology/Completeness.v
theories/Topology/Completion.v
theories/Topology/Connectedness.v
theories/Topology/Continuity.v
theories/Topology/ContinuousFactorization.v
theories/Topology/CountabilityAxioms.v
theories/Topology/FilterLimits.v
theories/Topology/FiltersAndNets.v
theories/Topology/Homeomorphisms.v
theories/Topology/InteriorsClosures.v
theories/Topology/LipschitzMaps.v
theories/Topology/MetricSpaces.v
theories/Topology/NeighborhoodBases.v
theories/Topology/Neighborhoods.v
theories/Topology/Nets.v
theories/Topology/OpenBases.v
theories/Topology/OrderTopology.v
theories/Topology/ProductTopology.v
theories/Topology/QuotientTopology.v
theories/Topology/RationalsInReals.v
theories/Topology/RFuncContinuity.v
theories/Topology/RTopology.v
theories/Topology/SeparatednessAxioms.v
theories/Topology/StrongTopology.v
theories/Topology/Subbases.v
theories/Topology/SubspaceTopology.v
theories/Topology/SumTopology.v
theories/Topology/SupInf.v
theories/Topology/TietzeExtension.v
theories/Topology/TopologicalSpaces.v
theories/Topology/UniformTopology.v
theories/Topology/UrysohnsLemma.v
theories/Topology/WeakTopology.v
theories/Topology/Examples/S1.v
theories/ZornsLemma/Cardinals.v
theories/ZornsLemma/Cardinals/Cardinals.v
theories/ZornsLemma/Cardinals/CardinalsEns.v
theories/ZornsLemma/Cardinals/Combinatorics.v
theories/ZornsLemma/Cardinals/Comparability.v
theories/ZornsLemma/Cardinals/CSB.v
theories/ZornsLemma/Cardinals/Diagonalization.v
theories/ZornsLemma/Cardinals/LeastCardinalsEns.v
theories/ZornsLemma/Classical_Wf.v
theories/ZornsLemma/CountableTypes.v
theories/ZornsLemma/DecidableDec.v
theories/ZornsLemma/DependentTypeChoice.v
theories/ZornsLemma/DirectedSets.v
theories/ZornsLemma/EnsembleProduct.v
theories/ZornsLemma/EnsemblesExplicit.v
theories/ZornsLemma/EnsemblesImplicit.v
theories/ZornsLemma/EnsemblesSpec.v
theories/ZornsLemma/EnsemblesTactics.v
theories/ZornsLemma/EnsemblesUtf8.v
theories/ZornsLemma/Families.v
theories/ZornsLemma/Filters.v
theories/ZornsLemma/FiniteImplicit.v
theories/ZornsLemma/FiniteIntersections.v
theories/ZornsLemma/Finite_sets.v
theories/ZornsLemma/FiniteTypes.v
theories/ZornsLemma/FunctionProperties.v
theories/ZornsLemma/FunctionPropertiesEns.v
theories/ZornsLemma/Image.v
theories/ZornsLemma/ImageImplicit.v
theories/ZornsLemma/IndexedFamilies.v
theories/ZornsLemma/InverseImage.v
theories/ZornsLemma/Ordinals.v
theories/ZornsLemma/Powerset_facts.v
theories/ZornsLemma/Proj1SigInjective.v
theories/ZornsLemma/Quotients.v
theories/ZornsLemma/Relation_Definitions_Implicit.v
theories/ZornsLemma/WellOrders.v
theories/ZornsLemma/ZornsLemma.v
theories/ZornsLemma/ReverseMath/AddSubtract.v
theories/ZornsLemma/ReverseMath/ReverseCSB.v