mathlib

swMATH36839MaRDI QIDQ52541FDOQ52541

Jump to:navigation, searchThe Lean mathematical library, mathlib, is a community-driven effort to build a unified library of mathematics formalized in the Lean proof assistant.

Author name not available (Why is that?)

Source code repository: https://github.com/leanprover-community/mathlib

Described by source

• Maintaining a library of formal mathematics

Cited In (only showing first 100 items - show all)

• mathlib4 Module Mathlib/CategoryTheory/CopyDiscardCategory/Basic
• mathlib4 Module Mathlib/CategoryTheory/MarkovCategory/Basic
• mathlib4 Module Mathlib/CategoryTheory/Distributive/Cartesian
• mathlib4 Module Mathlib/CategoryTheory/Dialectica/Basic
• mathlib4 Module Mathlib/CategoryTheory/Distributive/Monoidal
• mathlib4 Module Mathlib/CategoryTheory/EffectiveEpi/Basic
• mathlib4 Module Mathlib/MeasureTheory/Function/StronglyMeasurable/Lp
• mathlib4 Module Mathlib/MeasureTheory/Integral/Bochner/VitaliCaratheodory
• mathlib4 Module Mathlib/MeasureTheory/Measure/FiniteMeasure
• mathlib4 Module Mathlib/MeasureTheory/Measure/Portmanteau
• mathlib4 Module Mathlib/MeasureTheory/Measure/ProbabilityMeasure
• mathlib4 Module Mathlib/MeasureTheory/Measure/Regular
• mathlib4 Module Mathlib/MeasureTheory/Measure/Regular
• mathlib4 Module Mathlib/MeasureTheory/Measure/Decomposition/Exhaustion
• mathlib4 Module Mathlib/MeasureTheory/Measure/Haar/Unique
• mathlib4 Module Mathlib/MeasureTheory/Measure/Regular
• mathlib4 Module Mathlib/MeasureTheory/Measure/SeparableMeasure
• mathlib4 Module Mathlib/MeasureTheory/Measure/Haar/Unique
• mathlib4 Module Mathlib/Probability/Kernel/IonescuTulcea/Traj
• mathlib4 Module Mathlib/ModelTheory/Fraisse
• mathlib4 Module Mathlib/ModelTheory/Fraisse
• mathlib4 Module Mathlib/ModelTheory/Arithmetic/Presburger/Semilinear/Basic
• mathlib4 Module Mathlib/ModelTheory/Arithmetic/Presburger/Semilinear/Defs
• mathlib4 Module Mathlib/NumberTheory/Dioph
• mathlib4 Module Mathlib/NumberTheory/PellMatiyasevic
• mathlib4 Module Mathlib/NumberTheory/FunctionField
• mathlib4 Module Mathlib/NumberTheory/NumberField/Basic
• mathlib4 Module Mathlib/NumberTheory/NumberField/House
• mathlib4 Module Mathlib/RingTheory/DedekindDomain/Basic
• mathlib4 Module Mathlib/RingTheory/DedekindDomain/Dvr
• mathlib4 Module Mathlib/RingTheory/DedekindDomain/IntegralClosure
• mathlib4 Module Mathlib/RingTheory/DedekindDomain/SInteger
• mathlib4 Module Mathlib/RingTheory/DedekindDomain/Ideal/Basic
• mathlib4 Module Mathlib/RingTheory/DedekindDomain/Ideal/Lemmas
• mathlib4 Module Mathlib/NumberTheory/FunctionField
• mathlib4 Module Mathlib/RingTheory/FractionalIdeal/Inverse
• mathlib4 Module Mathlib/NumberTheory/NumberField/Basic
• mathlib4 Module Mathlib/RingTheory/Artinian/Module
• mathlib4 Module Mathlib/RingTheory/Artinian/Ring
• mathlib4 Module Mathlib/RingTheory/Noetherian/Basic
• mathlib4 Module Mathlib/RingTheory/Noetherian/Defs
• mathlib4 Module Mathlib/RingTheory/Noetherian/Filter
• mathlib4 Module Mathlib/NumberTheory/KummerDedekind
• mathlib4 Module Mathlib/RingTheory/Spectrum/Prime/Basic
• mathlib4 Module Mathlib/NumberTheory/RamificationInertia/Galois
• mathlib4 Module Mathlib/RingTheory/DedekindDomain/AdicValuation
• mathlib4 Module Mathlib/RingTheory/DedekindDomain/Basic
• mathlib4 Module Mathlib/RingTheory/DedekindDomain/Dvr
• mathlib4 Module Mathlib/RingTheory/DedekindDomain/IntegralClosure
• mathlib4 Module Mathlib/RingTheory/DedekindDomain/SInteger
• mathlib4 Module Mathlib/RingTheory/DedekindDomain/Ideal/Basic
• mathlib4 Module Mathlib/RingTheory/DedekindDomain/Ideal/Lemmas
• mathlib4 Module Mathlib/NumberTheory/Ostrowski
• mathlib4 Module Mathlib/RingTheory/FractionalIdeal/Inverse
• mathlib4 Module Mathlib/NumberTheory/Pell
• mathlib4 Module Mathlib/NumberTheory/JacobiSum/Basic
• mathlib4 Module Mathlib/NumberTheory/SelbergSieve
• mathlib4 Module Mathlib/NumberTheory/SelbergSieve
• mathlib4 Module Mathlib/NumberTheory/SiegelsLemma
• mathlib4 Module Mathlib/NumberTheory/NumberField/House
• mathlib4 Module Mathlib/NumberTheory/Padics/MahlerBasis
• mathlib4 Module Mathlib/NumberTheory/Padics/PadicIntegers
• mathlib4 Module Mathlib/NumberTheory/Padics/PadicNorm
• mathlib4 Module Mathlib/NumberTheory/Padics/PadicNumbers
• mathlib4 Module Mathlib/NumberTheory/Padics/PadicVal/Basic
• mathlib4 Module Mathlib/Topology/Algebra/Nonarchimedean/TotallyDisconnected
• mathlib4 Module Mathlib/Order/BourbakiWitt
• mathlib4 Module Mathlib/Order/CompletePartialOrder
• mathlib4 Module Mathlib/Order/Concept
• mathlib4 Module Mathlib/Order/Concept
• mathlib4 Module Mathlib/Topology/Order/Priestley
• mathlib4 Module Mathlib/Order/Directed
• mathlib4 Module Mathlib/Order/ScottContinuity
• mathlib4 Module Mathlib/Topology/Order/HullKernel
• mathlib4 Module Mathlib/Topology/Order/Lattice
• mathlib4 Module Mathlib/Topology/Order/LawsonTopology
• mathlib4 Module Mathlib/Topology/Order/LowerUpperTopology
• mathlib4 Module Mathlib/RingTheory/Artinian/Module
• mathlib4 Module Mathlib/RingTheory/Artinian/Ring
• mathlib4 Module Mathlib/RingTheory/Noetherian/Basic
• mathlib4 Module Mathlib/RingTheory/DividedPowers/Basic
• mathlib4 Module Mathlib/RingTheory/DividedPowers/DPMorphism
• mathlib4 Module Mathlib/Probability/Martingale/Upcrossing
• mathlib4 Module Mathlib/RingTheory/Binomial
• mathlib4 Module Mathlib/RingTheory/IsPrimary
• mathlib4 Module Mathlib/RingTheory/DividedPowers/RatAlgebra
• mathlib4 Module Mathlib/RingTheory/DividedPowers/SubDPIdeal
• mathlib4 Module Mathlib/RingTheory/DividedPowers/RatAlgebra
• mathlib4 Module Mathlib/RingTheory/DividedPowers/SubDPIdeal
• mathlib4 Module Mathlib/RingTheory/Etale/Field
• mathlib4 Module Mathlib/RingTheory/Smooth/Kaehler
• mathlib4 Module Mathlib/RingTheory/Unramified/Field
• mathlib4 Module Mathlib/RingTheory/Unramified/Finite
• mathlib4 Module Mathlib/RingTheory/HahnSeries/Addition
• mathlib4 Module Mathlib/RingTheory/HahnSeries/Basic
• mathlib4 Module Mathlib/RingTheory/HahnSeries/Multiplication
• mathlib4 Module Mathlib/RingTheory/HahnSeries/PowerSeries
• mathlib4 Module Mathlib/RingTheory/HahnSeries/Summable
• mathlib4 Module Mathlib/RingTheory/HahnSeries/Valuation
• mathlib4 Module Mathlib/RingTheory/HopfAlgebra/Basic

This page was built for software: mathlib