- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.ard files (304): src/Function.ard src/Equiv.ard src/Paths.ard src/Combinatorics/Binom.ard src/Combinatorics/Factorial.ard src/Topology/UniformSpace/Product.ard src/Topology/UniformSpace/InfReal.ard src/Topology/UniformSpace/StronglyComplete.ard src/Topology/UniformSpace/Complete.ard src/Topology/NormedAbGroup.ard src/Topology/NormedAlgebra.ard src/Topology/TopSpace.ard src/Topology/TopRing.ard src/Topology/Locale.ard src/Topology/CoverSpace/Product.ard src/Topology/CoverSpace/TopSpace.ard src/Topology/CoverSpace/Locale.ard src/Topology/CoverSpace/RelativelyComplete.ard src/Topology/CoverSpace/Subspace.ard src/Topology/CoverSpace/StronglyComplete.ard src/Topology/CoverSpace/Directed.ard src/Topology/CoverSpace/Category.ard src/Topology/CoverSpace/Complete.ard src/Topology/MetricSpace/ExtendedMetricSpace.ard src/Topology/MetricSpace/ManhattanProduct.ard src/Topology/MetricSpace/Nat.ard src/Topology/MetricSpace/Complete.ard src/Topology/MetricSpace/ValuedMetricSpace.ard src/Topology/ContGerm.ard src/Topology/NormedAbGroup/Real/Functions.ard src/Topology/NormedAbGroup/Real/Compact.ard src/Topology/NormedAbGroup/ValuedNormedAbGroup.ard src/Topology/NormedAbGroup/ExtendedNormedAbGroup.ard src/Topology/NormedAbGroup/Real.ard src/Topology/UniformSpace.ard src/Topology/TopSpace/Product.ard src/Topology/TopSpace/Category.ard src/Topology/TopAbGroup.ard src/Topology/Lipschitz.ard src/Topology/TopModule.ard src/Topology/Compact.ard src/Topology/RatherBelow.ard src/Topology/TopAbGroup/Product.ard src/Topology/TopAbGroup/Complete.ard src/Topology/NormedRing.ard src/Topology/Locale/Points.ard src/Topology/Locale/Real.ard src/Topology/Locale/Uniform.ard src/Topology/MetricSpace.ard src/Topology/NormedModule.ard src/Topology/CoverSpace.ard src/Topology/BanachSpace.ard src/Topology/Partial.ard src/Data/Maybe.ard src/Data/Bool.ard src/Data/Fin.ard src/Data/SeqColimit.ard src/Data/Sigma.ard src/Data/Or.ard src/Data/Shifts.ard src/Data/SubList.ard src/Data/List.ard src/Data/Array.ard src/Arith/Complex.ard src/Arith/Bool.ard src/Arith/Int.ard src/Arith/Fin.ard src/Arith/Real/LowerReal.ard src/Arith/Real/UpperReal.ard src/Arith/Real/Root.ard src/Arith/Real/Exp.ard src/Arith/Real/InfReal.ard src/Arith/Real/Field.ard src/Arith/Real/Extremes.ard src/Arith/Nat.ard src/Arith/Rat.ard src/Arith/Real.ard src/Arith/Prime.ard src/Operations.ard src/Algebra/FinSuppFunc.ard src/Algebra/Pointed/Sub.ard src/Algebra/Pointed/Category.ard src/Algebra/Group.ard src/Algebra/Domain.ard src/Algebra/Group/Solver.ard src/Algebra/Group/Product.ard src/Algebra/Group/GSet/CategoricalDefinition.ard src/Algebra/Group/GSet/ExampleActions.ard src/Algebra/Group/GSet/Category.ard src/Algebra/Group/Sub.ard src/Algebra/Group/Lagrange.ard src/Algebra/Group/Fin.ard src/Algebra/Group/Free.ard src/Algebra/Group/Symmetric.ard src/Algebra/Group/Aut.ard src/Algebra/Group/Representation.ard src/Algebra/Group/Category.ard src/Algebra/Group/GSet.ard src/Algebra/Group/QuotientProperties.ard src/Algebra/Group/Representation/Product.ard src/Algebra/Group/Representation/Sub.ard src/Algebra/Group/Representation/Irreducible.ard src/Algebra/Group/Representation/MaschkeLemma.ard src/Algebra/Group/Representation/Category.ard src/Algebra/Group/Representation/PermutationRepresentation.ard src/Algebra/Group/Representation/Characters.ard src/Algebra/Ring/Solver.ard src/Algebra/Ring/Integral.ard src/Algebra/Ring/RingHom.ard src/Algebra/Ring/Sub.ard src/Algebra/Ring/Integral/MinPoly.ard src/Algebra/Ring/Localization/Field.ard src/Algebra/Ring/Local.ard src/Algebra/Ring/Graded/Ideal.ard src/Algebra/Ring/Graded/Localization.ard src/Algebra/Ring/Reduced.ard src/Algebra/Ring/Nakayama.ard src/Algebra/Ring/Ideal.ard src/Algebra/Ring/Boolean/Sub.ard src/Algebra/Ring/Localization.ard src/Algebra/Ring/QPoly.ard src/Algebra/Ring/Category.ard src/Algebra/Ring/Noetherian.ard src/Algebra/Ring/MPoly.ard src/Algebra/Ring/Graded.ard src/Algebra/Ring/Poly.ard src/Algebra/Ring/MonoidRing.ard src/Algebra/Ring/Boolean.ard src/Algebra/Algebra.ard src/Algebra/Monoid/Solver.ard src/Algebra/Monoid/Product.ard src/Algebra/Monoid/GCD.ard src/Algebra/Monoid/Sub.ard src/Algebra/Monoid/FreeMonoid.ard src/Algebra/Monoid/Category.ard src/Algebra/Monoid/PermSet.ard src/Algebra/Monoid/Prime.ard src/Algebra/Semiring.ard src/Algebra/LatticeColimit.ard src/Algebra/Monoid.ard src/Algebra/MulOrdered.ard src/Algebra/Field/Splitting.ard src/Algebra/Field/Algebraic.ard src/Algebra/Field/AlgebraicClosure.ard src/Algebra/Linear/Solver.ard src/Algebra/Linear/Matrix.ard src/Algebra/Linear/Matrix/CharPoly.ard src/Algebra/Linear/Matrix/Smith.ard src/Algebra/Linear/Matrix/CayleyHamilton.ard src/Algebra/Linear/VectorSpace.ard src/Algebra/Ordered.ard src/Algebra/Field.ard src/Algebra/Ring.ard src/Algebra/Pointed.ard src/Algebra/Module/LinearMap.ard src/Algebra/Module/Sub.ard src/Algebra/Module/FinModule.ard src/Algebra/Module/Category.ard src/Algebra/Module/PowerLModule.ard src/Algebra/Module/Trace.ard src/Algebra/Module.ard src/Algebra/Semiring/Sub.ard src/Algebra/Domain/GCD.ard src/Algebra/Domain/Bezout.ard src/Algebra/Domain/Valuation.ard src/Algebra/Domain/Euclidean.ard src/Algebra/Domain/IntegrallyClosed.ard src/Algebra/Domain/PID.ard src/AG/Scheme.ard src/AG/Projective.ard src/Set/Hedberg.ard src/Set/Fin.ard src/Set/Countable.ard src/Set/Fin/KFin.ard src/Set/Fin/DFin.ard src/Set/Fin/Pigeonhole.ard src/Set/Category.ard src/Set/Filter.ard src/Set/Subset.ard src/Set/Partial.ard src/Homotopy/Loop.ard src/Homotopy/Cube.ard src/Homotopy/Fibration.ard src/Homotopy/Sphere.ard src/Homotopy/Torus.ard src/Homotopy/K1.ard src/Homotopy/Pushout.ard src/Homotopy/Sphere/Circle.ard src/Homotopy/Localization/Equiv.ard src/Homotopy/Localization/Connected.ard src/Homotopy/Localization/Separated.ard src/Homotopy/Localization/Universe.ard src/Homotopy/Localization/BlakersMassey.ard src/Homotopy/Localization/Accessible.ard src/Homotopy/Localization/Modality.ard src/Homotopy/Join.ard src/Homotopy/Connected.ard src/Homotopy/Suspension.ard src/Homotopy/Space.ard src/Homotopy/EckmannHilton.ard src/Homotopy/Hopf.ard src/Homotopy/Image.ard src/Homotopy/Pointed.ard src/Homotopy/Square.ard src/Homotopy/Truncation.ard src/Debug.ard src/Category.ard src/Logic/PropFin.ard src/Logic/FirstOrder/Algebraic/Category.ard src/Logic/FirstOrder/Algebraic.ard src/Logic/FirstOrder/Term.ard src/Logic/Rewriting/TRS/Union/Embedding.ard src/Logic/Rewriting/TRS/Union/TopLevel.ard src/Logic/Rewriting/TRS/Union/Colors.ard src/Logic/Rewriting/TRS/Union/Confluence.ard src/Logic/Rewriting/TRS/Union.ard src/Logic/Rewriting/TRS/Examples/LambdaCalculus.ard src/Logic/Rewriting/TRS/Linearity.ard src/Logic/Rewriting/TRS/MetaContexts.ard src/Logic/Rewriting/TRS/Utils.ard src/Logic/Rewriting/TRS/Substitutions.ard src/Logic/Rewriting/TRS/HRS.ard src/Logic/Rewriting/ARS/Termination.ard src/Logic/Rewriting/ARS/AbstractReductionSystem.ard src/Logic/Rewriting/ARS/Relation.ard src/Logic/Rewriting/ARS/Confluence.ard src/Logic/Classical.ard src/HLevel.ard src/Set.ard src/Equiv/HalfAdjoint.ard src/Equiv/Fiber.ard src/Equiv/Sigma.ard src/Equiv/Univalence.ard src/Equiv/Path.ard src/Category/Topos/Sheaf.ard src/Category/Topos/Presheaf.ard src/Category/Topos/Sheaf/Sub.ard src/Category/Topos/Sheaf/Site.ard src/Category/Solver.ard src/Category/Product.ard src/Category/Subcat.ard src/Category/Limit.ard src/Category/Slice.ard src/Category/PreAdditive.ard src/Category/Algebra.ard src/Category/Coreflection.ard src/Category/Displayed.ard src/Category/CartesianClosed.ard src/Category/KanExtension.ard src/Category/Comma.ard src/Category/Simplex.ard src/Category/Factorization.ard src/Category/Adjoint.ard src/Category/SubobjectPoset.ard src/Category/Yoneda.ard src/Category/Functor.ard src/Category/Subobj.ard src/Category/Topos.ard src/Logic.ard src/Order/Lexicographical.ard src/Order/HeytingAlgebra.ard src/Order/Biordered.ard src/Order/StrictOrder.ard src/Order/Directed.ard src/Order/LinearOrder.ard src/Order/Category.ard src/Order/PartialOrder.ard src/Order/BooleanAlgebra.ard src/Order/Lattice.ard src/Relation/Equivalence.ard src/Relation/Truncated.ard src/Analysis/Measure/MeasureRing.ard src/Analysis/Measure/OuterMeasureRing.ard src/Analysis/Limit.ard src/Analysis/StrongDerivative.ard src/Analysis/Calculus/SyntheticDerivative.ard src/Analysis/Series.ard src/Analysis/Derivative.ard src/Analysis/FuncLimit.ard src/Analysis/PowerSeries.ard test/LevelProverTest.ard test/Algebra/EquationTransitiveTest.ard test/Algebra/UsingTest.ard test/Algebra/EquationalReasoningTest.ard test/Algebra/SimplifyTest.ard test/Algebra/LinearSolverTest.ard test/Algebra/MonoidSolverTest.ard test/Algebra/RingTest.ard test/Algebra/CMonoidSolverTest.ard test/Algebra/CongruenceTest.ard test/Algebra/EquivEquationTest.ard test/Meta/MCasesTest.ard test/Meta/AssumptionTest.ard test/Meta/AtTest.ard test/Meta/CasesTest.ard test/Function/RepeatTest.ard test/Paths/ExtsTest.ard test/Paths/RewriteTest.ard test/Paths/ExtTest.ard test/Paths/SimpCoeTest.ard test/Logic/ContradictionTest.ard test/Logic/ExistsTest.ard test/Logic/ConstructorTest.ard test/NumberTypecheckerTest.ard - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *. files (4): LICENSE meta/gradlew versions ext - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.jar files (1): meta/gradle/wrapper/gradle-wrapper.jar - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.yaml files (1): .github/workflows/gradle.yml - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -