Verify TauLib Browser Canonical Corpus-native browser for pinned TauLib modules and Lean declarations.
TauLib BrowserCanonical

TauLib Module and Declaration Browser

Corpus-native browser for pinned TauLib modules and Lean declarations.

Formalization Status Release Manifest

Corpus-Native Projection

This browser is generated directly from the pinned Corpus TauLib snapshot. It is not imported from generated HTML: the Corpus scanner reads the Lean source, extracts modules, imports, registry IDs, declarations, source spans, and stable Corpus documentation URLs, then projects those records into these public pages.

512 modulesPinned Lean modules with stable Corpus documentation URLs.
14607 declarations/evalsTheorems, lemmas, definitions, structures, classes, inductives, axioms, examples, and evaluations.
478 linked modulesModules with explicit Registry identifiers.
3998 linked declarationsDeclaration-level Registry evidence where the source exposes it.

Browse Modules

Module Book Family Declarations Registry IDs
TauLib Core Root 0 0
TauLib.BookI BookI Root 0 0
TauLib.BookI.Addressability.AddressResolution BookI Addressability 0 0
TauLib.BookI.Addressability.CayleyMetric BookI Addressability 0 0
TauLib.BookI.Addressability.HingeIntegration BookI Addressability 0 0
TauLib.BookI.Addressability.OnticUltrametric BookI Addressability 0 0
TauLib.BookI.Boundary.Bridge.TauIntQuotient BookI Boundary 0 0
TauLib.BookI.Boundary.Bridge.TauRatQuotient BookI Boundary 0 0
TauLib.BookI.Boundary.Bridge.TauRealCongruence BookI Boundary 0 0
TauLib.BookI.Boundary.Bridge.TauRealQuotient BookI Boundary 0 0
TauLib.BookI.Boundary.Characters BookI Boundary 0 0
TauLib.BookI.Boundary.ComplexField BookI Boundary 0 0
TauLib.BookI.Boundary.ConstructiveReals BookI Boundary 0 0
TauLib.BookI.Boundary.CouplingIdentityApproximants BookI Boundary 0 0
TauLib.BookI.Boundary.Cyclotomic BookI Boundary 0 0
TauLib.BookI.Boundary.DefectInverseSystem BookI Boundary 0 0
TauLib.BookI.Boundary.Fourier BookI Boundary 0 0
TauLib.BookI.Boundary.Galois BookI Boundary 0 0
TauLib.BookI.Boundary.Integration BookI Boundary 0 0
TauLib.BookI.Boundary.Iota BookI Boundary 0 0
TauLib.BookI.Boundary.IotaTauStructural BookI Boundary 0 0
TauLib.BookI.Boundary.Measure BookI Boundary 0 0
TauLib.BookI.Boundary.NumberTower BookI Boundary 0 0
TauLib.BookI.Boundary.NumericalProjection BookI Boundary 0 0
TauLib.BookI.Boundary.Quaternions BookI Boundary 0 0
TauLib.BookI.Boundary.RefinementGrowingTorus BookI Boundary 0 0
TauLib.BookI.Boundary.Ring BookI Boundary 0 0
TauLib.BookI.Boundary.Spectral BookI Boundary 0 0
TauLib.BookI.Boundary.SplitComplex BookI Boundary 0 0
TauLib.BookI.Boundary.TauRatAbs BookI Boundary 0 0
TauLib.BookI.Boundary.TauRatField BookI Boundary 0 0
TauLib.BookI.Boundary.TauRatInv BookI Boundary 0 0
TauLib.BookI.Boundary.TauRatOrder BookI Boundary 0 0
TauLib.BookI.Boundary.TauRealAbs BookI Boundary 0 0
TauLib.BookI.Boundary.TauRealAnalyticalHelpers BookI Boundary 0 0
TauLib.BookI.Boundary.TauRealE BookI Boundary 0 0
TauLib.BookI.Boundary.TauRealInv BookI Boundary 0 0
TauLib.BookI.Boundary.TauRealIotaTau BookI Boundary 0 0
TauLib.BookI.Boundary.TauRealMulCongr BookI Boundary 0 0
TauLib.BookI.Boundary.TauRealOrder BookI Boundary 0 0
TauLib.BookI.Boundary.TauRealPi BookI Boundary 0 0
TauLib.BookI.Boundary.TauRealPiPlusE BookI Boundary 0 0
TauLib.BookI.Boundary.TauRealSum BookI Boundary 0 0
TauLib.BookI.Boundary.TorusDefectSystem BookI Boundary 0 0
TauLib.BookI.Boundary.UniversalFixedScalar BookI Boundary 0 0
TauLib.BookI.CF.WindowAlgebra BookI CF 0 0
TauLib.BookI.Coordinates.ABCD BookI Coordinates 0 0
TauLib.BookI.Coordinates.ChebyshevBias BookI Coordinates 0 0
TauLib.BookI.Coordinates.Descent BookI Coordinates 0 0
TauLib.BookI.Coordinates.Hyperfact BookI Coordinates 0 0
TauLib.BookI.Coordinates.HyperfactFTA BookI Coordinates 0 0
TauLib.BookI.Coordinates.HyperfactIsomorphism BookI Coordinates 0 0
TauLib.BookI.Coordinates.HyperfactProp BookI Coordinates 0 0
TauLib.BookI.Coordinates.IteratedPrime BookI Coordinates 0 0
TauLib.BookI.Coordinates.NoTie BookI Coordinates 0 0
TauLib.BookI.Coordinates.NormalForm BookI Coordinates 0 0
TauLib.BookI.Coordinates.PrimeEnumeration BookI Coordinates 0 0
TauLib.BookI.Coordinates.Primes BookI Coordinates 0 0
TauLib.BookI.Coordinates.TowerAtoms BookI Coordinates 0 0
TauLib.BookI.Denotation.Arithmetic BookI Denotation 0 0
TauLib.BookI.Denotation.Equality BookI Denotation 0 0
TauLib.BookI.Denotation.GrowthEscape BookI Denotation 0 0
TauLib.BookI.Denotation.Order BookI Denotation 0 0
TauLib.BookI.Denotation.ProgramMonoid BookI Denotation 0 0
TauLib.BookI.Denotation.RankTransfer BookI Denotation 0 0
TauLib.BookI.Denotation.SolenoidPitch BookI Denotation 0 0
TauLib.BookI.Denotation.Structural BookI Denotation 0 0
TauLib.BookI.Denotation.TauIdx BookI Denotation 0 0
TauLib.BookI.Holomorphy.BoundaryInterior BookI Holomorphy 0 0
TauLib.BookI.Holomorphy.DHolomorphic BookI Holomorphy 0 0
TauLib.BookI.Holomorphy.DiagonalProtection BookI Holomorphy 0 0
TauLib.BookI.Holomorphy.GlobalHartogs BookI Holomorphy 0 0
TauLib.BookI.Holomorphy.H6DiagonalDiscipline BookI Holomorphy 0 0
TauLib.BookI.Holomorphy.H6EarnedCodomainWaveCR BookI Holomorphy 0 0
TauLib.BookI.Holomorphy.H6SigmaIdemHolEnd BookI Holomorphy 0 0
TauLib.BookI.Holomorphy.IdentityTheorem BookI Holomorphy 0 0
TauLib.BookI.Holomorphy.PresheafEssence BookI Holomorphy 0 0
TauLib.BookI.Holomorphy.SpectralCoefficients BookI Holomorphy 0 0
TauLib.BookI.Holomorphy.TauHolomorphic BookI Holomorphy 0 0
TauLib.BookI.Holomorphy.Thinness BookI Holomorphy 0 0
TauLib.BookI.Kernel.ActionQuantum BookI Kernel 0 0
TauLib.BookI.Kernel.Axioms BookI Kernel 0 0
TauLib.BookI.Kernel.Diagonal BookI Kernel 0 0
TauLib.BookI.Kernel.Signature BookI Kernel 0 0
TauLib.BookI.KernelFoundation.AdmissibleSymmetryGroup BookI KernelFoundation 0 0
TauLib.BookI.KernelFoundation.GirardLinearEmbedding BookI KernelFoundation 0 0
TauLib.BookI.KernelFoundation.H8KernelSynthesis BookI KernelFoundation 0 0
TauLib.BookI.KernelFoundation.ScalarBridges BookI KernelFoundation 0 0
TauLib.BookI.Logic.BooleanRecovery BookI Logic 0 0
TauLib.BookI.Logic.Explosion BookI Logic 0 0
TauLib.BookI.Logic.Truth4 BookI Logic 0 0
TauLib.BookI.MetaLogic.DiagonalResonance BookI MetaLogic 0 0
TauLib.BookI.MetaLogic.LinearDiscipline BookI MetaLogic 0 0
TauLib.BookI.MetaLogic.LinearityAudit BookI MetaLogic 0 0
TauLib.BookI.MetaLogic.OnticInvariance BookI MetaLogic 0 0
TauLib.BookI.MetaLogic.ReceptionCriterion BookI MetaLogic 0 0
TauLib.BookI.MetaLogic.StructuralExclusion BookI MetaLogic 0 0
TauLib.BookI.MetaLogic.Substrate BookI MetaLogic 0 0
TauLib.BookI.Orbit.Closure BookI Orbit 0 0
TauLib.BookI.Orbit.Countability BookI Orbit 0 0
TauLib.BookI.Orbit.Generation BookI Orbit 0 0
TauLib.BookI.Orbit.Ladder BookI Orbit 0 0
TauLib.BookI.Orbit.Rigidity BookI Orbit 0 0
TauLib.BookI.Orbit.Saturation BookI Orbit 0 0
TauLib.BookI.Orbit.TooFew BookI Orbit 0 0
TauLib.BookI.Orbit.TooMany BookI Orbit 0 0
TauLib.BookI.Polarity.BipolarAlgebra BookI Polarity 0 0
TauLib.BookI.Polarity.CRTBasis BookI Polarity 0 0
TauLib.BookI.Polarity.ChineseRemainder BookI Polarity 0 0
TauLib.BookI.Polarity.ExtGCD BookI Polarity 0 0
TauLib.BookI.Polarity.H2H3ClassifierBridge BookI Polarity 0 0
TauLib.BookI.Polarity.H4BoundaryAlgebra BookI Polarity 0 0
TauLib.BookI.Polarity.H4UniquenessElliptic BookI Polarity 0 0
TauLib.BookI.Polarity.InverseLimit BookI Polarity 0 0
TauLib.BookI.Polarity.Lemniscate BookI Polarity 0 0
TauLib.BookI.Polarity.ModArith BookI Polarity 0 0
TauLib.BookI.Polarity.NthPrime BookI Polarity 0 0
TauLib.BookI.Polarity.OmegaGerms BookI Polarity 0 0
TauLib.BookI.Polarity.OmegaRing BookI Polarity 0 0
TauLib.BookI.Polarity.Polarity BookI Polarity 0 0
TauLib.BookI.Polarity.PolarizedGerms BookI Polarity 0 0
TauLib.BookI.Polarity.PrimeBridge BookI Polarity 0 0
TauLib.BookI.Polarity.PrimePolarityClassifier BookI Polarity 0 0
TauLib.BookI.Polarity.PrimePolarityIsomorphism BookI Polarity 0 0
TauLib.BookI.Polarity.Spectral BookI Polarity 0 0
TauLib.BookI.Polarity.SplitComplexCouplingLift BookI Polarity 0 0
TauLib.BookI.Polarity.TeichmuellerLift BookI Polarity 0 0
TauLib.BookI.Sets.CantorRefutation BookI Sets 0 0
TauLib.BookI.Sets.Counting BookI Sets 0 0
TauLib.BookI.Sets.Membership BookI Sets 0 0
TauLib.BookI.Sets.Operations BookI Sets 0 0
TauLib.BookI.Sets.OrbitSets BookI Sets 0 0
TauLib.BookI.Sets.Powerset BookI Sets 0 0
TauLib.BookI.Sets.UniqueInfinity BookI Sets 0 0
TauLib.BookI.Sets.Universe BookI Sets 0 0
TauLib.BookI.Topos.CartesianProduct BookI Topos 0 0
TauLib.BookI.Topos.CircularityResolution BookI Topos 0 0
TauLib.BookI.Topos.EarnedArrows BookI Topos 0 0
TauLib.BookI.Topos.EarnedTopos BookI Topos 0 0
TauLib.BookI.Topos.Functors BookI Topos 0 0
TauLib.BookI.Topos.H6EarnedCategoricalMachine BookI Topos 0 0
TauLib.BookI.Topos.H7CircularityFull BookI Topos 0 0
TauLib.BookI.Topos.H7ClassicalClosure BookI Topos 0 0
TauLib.BookI.Topos.H7ToposClassifier BookI Topos 0 0
TauLib.BookI.Topos.InternalHom BookI Topos 0 0
TauLib.BookI.Topos.LimitsSites BookI Topos 0 0
TauLib.BookI.Topos.ParaconsistentSoundness BookI Topos 0 0
TauLib.BookI.Topos.WedgeProduct BookI Topos 0 0
TauLib.BookII BookII Root 0 0
TauLib.BookII.CentralTheorem.BoundaryCharacters BookII CentralTheorem 0 0
TauLib.BookII.CentralTheorem.Categoricity BookII CentralTheorem 0 0
TauLib.BookII.CentralTheorem.CentralTheorem BookII CentralTheorem 0 0
TauLib.BookII.CentralTheorem.ExtensionsOmegaGerms BookII CentralTheorem 0 0
TauLib.BookII.CentralTheorem.HartogsExtension BookII CentralTheorem 0 0
TauLib.BookII.CentralTheorem.SheafCohomology BookII CentralTheorem 0 0
TauLib.BookII.CentralTheorem.YonedaApplied BookII CentralTheorem 0 0
TauLib.BookII.Closure.BSDbridge BookII Closure 0 0
TauLib.BookII.Closure.Connection BookII Closure 0 0
TauLib.BookII.Closure.Curvature BookII Closure 0 0
TauLib.BookII.Closure.DiffGeoAgenda BookII Closure 0 0
TauLib.BookII.Closure.ForwardBook3 BookII Closure 0 0
TauLib.BookII.Closure.GeometricBiSquare BookII Closure 0 0
TauLib.BookII.Closure.TauManifold BookII Closure 0 0
TauLib.BookII.Domains.Cylinders BookII Domains 0 0
TauLib.BookII.Domains.HolImpliesCont BookII Domains 0 0
TauLib.BookII.Domains.Ultrametric BookII Domains 0 0
TauLib.BookII.Enrichment.EnrichmentLadder BookII Enrichment 0 0
TauLib.BookII.Enrichment.Homological BookII Enrichment 0 0
TauLib.BookII.Enrichment.SelfDescribing BookII Enrichment 0 0
TauLib.BookII.Enrichment.SelfEnrichment BookII Enrichment 0 0
TauLib.BookII.Enrichment.TwoCategories BookII Enrichment 0 0
TauLib.BookII.Enrichment.YonedaTheorem BookII Enrichment 0 0
TauLib.BookII.Geometry.Betweenness BookII Geometry 0 0
TauLib.BookII.Geometry.CausalStructure BookII Geometry 0 0
TauLib.BookII.Geometry.Congruence BookII Geometry 0 0
TauLib.BookII.Geometry.OrthodoxBridge BookII Geometry 0 0
TauLib.BookII.Geometry.PaschParallel BookII Geometry 0 0
TauLib.BookII.Hartogs.BndLift BookII Hartogs 0 0
TauLib.BookII.Hartogs.CalibratedSplitComplex BookII Hartogs 0 0
TauLib.BookII.Hartogs.CanonicalBasis BookII Hartogs 0 0
TauLib.BookII.Hartogs.CategoryStructure BookII Hartogs 0 0
TauLib.BookII.Hartogs.EvolutionOperator BookII Hartogs 0 0
TauLib.BookII.Hartogs.L2Space BookII Hartogs 0 0
TauLib.BookII.Hartogs.LaurentResidue BookII Hartogs 0 0
TauLib.BookII.Hartogs.MutualDetermination BookII Hartogs 0 0
TauLib.BookII.Hartogs.SheafCoherence BookII Hartogs 0 0
TauLib.BookII.Interior.ABCDRigidity BookII Interior 0 0
TauLib.BookII.Interior.BipolarDecomposition BookII Interior 0 0
TauLib.BookII.Interior.OmegaReadout BookII Interior 0 0
TauLib.BookII.Interior.Tau3Fibration BookII Interior 0 0
TauLib.BookII.Interior.TauAdmissible BookII Interior 0 0
TauLib.BookII.Mirror.DimensionalLadder BookII Mirror 0 0
TauLib.BookII.Mirror.Inventory BookII Mirror 0 0
TauLib.BookII.Mirror.PhysicsQuadrant BookII Mirror 0 0
TauLib.BookII.Mirror.SignClassification BookII Mirror 0 0
TauLib.BookII.Mirror.WaveHolomorphy BookII Mirror 0 0
TauLib.BookII.Prologue.SplitComplexInterior BookII Prologue 0 0
TauLib.BookII.Regularity.CodeDecode BookII Regularity 0 0
TauLib.BookII.Regularity.IdempotentDecomposition BookII Regularity 0 0
TauLib.BookII.Regularity.PositiveRegularity BookII Regularity 0 0
TauLib.BookII.Regularity.PreYoneda BookII Regularity 0 0
TauLib.BookII.Regularity.ThreeLemmaChain BookII Regularity 0 0
TauLib.BookII.Topology.BoundaryMinimality BookII Topology 0 0
TauLib.BookII.Topology.CoherenceConnectivity BookII Topology 0 0
TauLib.BookII.Topology.DimensionFour BookII Topology 0 0
TauLib.BookII.Topology.Invariant BookII Topology 0 0
TauLib.BookII.Topology.StoneSpace BookII Topology 0 0
TauLib.BookII.Topology.TorusDegeneration BookII Topology 0 0
TauLib.BookII.Transcendentals.Circles BookII Transcendentals 0 0
TauLib.BookII.Transcendentals.EEarned BookII Transcendentals 0 0
TauLib.BookII.Transcendentals.IotaTauConfirmed BookII Transcendentals 0 0
TauLib.BookII.Transcendentals.JReplacesI BookII Transcendentals 0 0
TauLib.BookII.Transcendentals.Lines BookII Transcendentals 0 0
TauLib.BookII.Transcendentals.PiEarned BookII Transcendentals 0 0
TauLib.BookIII BookIII Root 0 0
TauLib.BookIII.Arithmetic.ABCConjecture BookIII Arithmetic 0 0
TauLib.BookIII.Arithmetic.ABCDeep BookIII Arithmetic 0 0
TauLib.BookIII.Arithmetic.BSD BookIII Arithmetic 0 0
TauLib.BookIII.Arithmetic.EnrFunctor01 BookIII Arithmetic 0 0
TauLib.BookIII.Arithmetic.EnrichedBiSquare BookIII Arithmetic 0 0
TauLib.BookIII.Arithmetic.Langlands BookIII Arithmetic 0 0
TauLib.BookIII.Arithmetic.ProtoCodes BookIII Arithmetic 0 0
TauLib.BookIII.Arithmetic.RationalPoints BookIII Arithmetic 0 0
TauLib.BookIII.Arithmetic.TowerAssembly BookIII Arithmetic 0 0
TauLib.BookIII.Bridge.BridgeAxiom BookIII Bridge 0 0
TauLib.BookIII.Bridge.ConjectureGaps BookIII Bridge 0 0
TauLib.BookIII.Bridge.ForbiddenMoves BookIII Bridge 0 0
TauLib.BookIII.Bridge.Incompleteness BookIII Bridge 0 0
TauLib.BookIII.Bridge.TranslationArith BookIII Bridge 0 0
TauLib.BookIII.Bridge.TranslationObstruction BookIII Bridge 0 0
TauLib.BookIII.Bridge.TranslationTopo BookIII Bridge 0 0
TauLib.BookIII.Bridge.ZFCasVM BookIII Bridge 0 0
TauLib.BookIII.Computation.Admissibility BookIII Computation 0 0
TauLib.BookIII.Computation.CompBiSquare BookIII Computation 0 0
TauLib.BookIII.Computation.E2Agent BookIII Computation 0 0
TauLib.BookIII.Computation.E2Witness BookIII Computation 0 0
TauLib.BookIII.Computation.TowerMachine BookIII Computation 0 0
TauLib.BookIII.Computation.WitnessSearch BookIII Computation 0 0
TauLib.BookIII.Doors.BridgeTightening BookIII Doors 0 0
TauLib.BookIII.Doors.CriticalLine BookIII Doors 0 0
TauLib.BookIII.Doors.GrandGRH BookIII Doors 0 0
TauLib.BookIII.Doors.LemniscateOperator BookIII Doors 0 0
TauLib.BookIII.Doors.MasterSchema BookIII Doors 0 0
TauLib.BookIII.Doors.MutualDetermination BookIII Doors 0 0
TauLib.BookIII.Doors.Poincare BookIII Doors 0 0
TauLib.BookIII.Doors.SpectralCorrespondence BookIII Doors 0 0
TauLib.BookIII.Doors.SpectralDecomp BookIII Doors 0 0
TauLib.BookIII.Doors.SplitComplexZeta BookIII Doors 0 0
TauLib.BookIII.Enrichment.CanonicalLadder BookIII Enrichment 0 0
TauLib.BookIII.Enrichment.Functor BookIII Enrichment 0 0
TauLib.BookIII.Enrichment.LayerTemplate BookIII Enrichment 0 0
TauLib.BookIII.Hinge.DependencyChain BookIII Hinge 0 0
TauLib.BookIII.Hinge.HingeTheorem BookIII Hinge 0 0
TauLib.BookIII.Mirror.E3Witness BookIII Mirror 0 0
TauLib.BookIII.Mirror.ProofTheoryE3 BookIII Mirror 0 0
TauLib.BookIII.Mirror.Saturation BookIII Mirror 0 0
TauLib.BookIII.Physics.FluidData BookIII Physics 0 0
TauLib.BookIII.Physics.GapTheorem BookIII Physics 0 0
TauLib.BookIII.Physics.HartogsFlow BookIII Physics 0 0
TauLib.BookIII.Physics.Hodge BookIII Physics 0 0
TauLib.BookIII.Physics.PhysicsAssembly BookIII Physics 0 0
TauLib.BookIII.Physics.PositiveRegularity BookIII Physics 0 0
TauLib.BookIII.Physics.StrongSector BookIII Physics 0 0
TauLib.BookIII.Prologue.HartogsBulk BookIII Prologue 0 0
TauLib.BookIII.Sectors.BoundaryCharacters BookIII Sectors 0 0
TauLib.BookIII.Sectors.Decomposition BookIII Sectors 0 0
TauLib.BookIII.Sectors.LanglandsReflection BookIII Sectors 0 0
TauLib.BookIII.Sectors.ParityBridge BookIII Sectors 0 0
TauLib.BookIII.Spectral.AdditiveConjectures BookIII Spectral 0 0
TauLib.BookIII.Spectral.Adeles BookIII Spectral 0 0
TauLib.BookIII.Spectral.BipolarClassifier BookIII Spectral 0 0
TauLib.BookIII.Spectral.CRT BookIII Spectral 0 0
TauLib.BookIII.Spectral.ConfinementBridge BookIII Spectral 0 0
TauLib.BookIII.Spectral.GoldbachDeep BookIII Spectral 0 0
TauLib.BookIII.Spectral.HenselLifting BookIII Spectral 0 0
TauLib.BookIII.Spectral.LocalFields BookIII Spectral 0 0
TauLib.BookIII.Spectral.ModularForms BookIII Spectral 0 0
TauLib.BookIII.Spectral.PrimorialLadder BookIII Spectral 0 0
TauLib.BookIII.Spectral.SieveInfrastructure BookIII Spectral 0 0
TauLib.BookIII.Spectral.Trichotomy BookIII Spectral 0 0
TauLib.BookIII.Spectral.TwinPrimeDeep BookIII Spectral 0 0
TauLib.BookIII.Spectrum.InterfaceWidth BookIII Spectrum 0 0
TauLib.BookIII.Spectrum.KernelHinge BookIII Spectrum 0 0
TauLib.BookIII.Spectrum.TTM BookIII Spectrum 0 0
TauLib.BookIII.Spectrum.ThreeSAT BookIII Spectrum 0 0
TauLib.BookIV BookIV Root 0 0
TauLib.BookIV.Arena.ActorsDynamics BookIV Arena 0 0
TauLib.BookIV.Arena.BoundaryHolonomy BookIV Arena 0 0
TauLib.BookIV.Arena.CoherenceKernel BookIV Arena 0 0
TauLib.BookIV.Arena.FiveSectors BookIV Arena 0 0
TauLib.BookIV.Arena.RefinementTower BookIV Arena 0 0
TauLib.BookIV.Arena.Tau3Arena BookIV Arena 0 0
TauLib.BookIV.Calibration.CalibrationAnchor BookIV Calibration 0 0
TauLib.BookIV.Calibration.CalibrationAnchorExt BookIV Calibration 0 0
TauLib.BookIV.Calibration.ConstantsLedger BookIV Calibration 0 0
TauLib.BookIV.Calibration.ConstantsLedgerExt BookIV Calibration 0 0
TauLib.BookIV.Calibration.DimensionalBridge BookIV Calibration 0 0
TauLib.BookIV.Calibration.DimensionalBridgeExt BookIV Calibration 0 0
TauLib.BookIV.Calibration.DimensionlessAlpha BookIV Calibration 0 0
TauLib.BookIV.Calibration.DimensionlessCouplings BookIV Calibration 0 0
TauLib.BookIV.Calibration.DimensionlessCouplings2 BookIV Calibration 0 0
TauLib.BookIV.Calibration.DimensionlessNearMatch BookIV Calibration 0 0
TauLib.BookIV.Calibration.EpsteinZeta BookIV Calibration 0 0
TauLib.BookIV.Calibration.MassRatioFormula BookIV Calibration 0 0
TauLib.BookIV.Calibration.RunningRegime BookIV Calibration 0 0
TauLib.BookIV.Calibration.SIReference BookIV Calibration 0 0
TauLib.BookIV.Calibration.SharedOntology BookIV Calibration 0 0
TauLib.BookIV.Coda.CompleteLedger BookIV Coda 0 0
TauLib.BookIV.Coda.LawsAsStructure BookIV Coda 0 0
TauLib.BookIV.Coda.SelfDescribing BookIV Coda 0 0
TauLib.BookIV.Electroweak.AlphaDerivation BookIV Electroweak 0 0
TauLib.BookIV.Electroweak.EWMixing BookIV Electroweak 0 0
TauLib.BookIV.Electroweak.EWProjection BookIV Electroweak 0 0
TauLib.BookIV.Electroweak.EWSynthesis BookIV Electroweak 0 0
TauLib.BookIV.Electroweak.GaugeInvariance BookIV Electroweak 0 0
TauLib.BookIV.Electroweak.GaugeInvariance2 BookIV Electroweak 0 0
TauLib.BookIV.Electroweak.MajoranaStructure BookIV Electroweak 0 0
TauLib.BookIV.Electroweak.NeutrinoMode BookIV Electroweak 0 0
TauLib.BookIV.Electroweak.PhotonMode BookIV Electroweak 0 0
TauLib.BookIV.Electroweak.TauHiggs BookIV Electroweak 0 0
TauLib.BookIV.Electroweak.TauHiggs2 BookIV Electroweak 0 0
TauLib.BookIV.Electroweak.TauMaxwell BookIV Electroweak 0 0
TauLib.BookIV.Electroweak.WeakChirality BookIV Electroweak 0 0
TauLib.BookIV.Electroweak.WeakChirality2 BookIV Electroweak 0 0
TauLib.BookIV.Electroweak.WeakHolonomy BookIV Electroweak 0 0
TauLib.BookIV.Electroweak.WeakHolonomy2 BookIV Electroweak 0 0
TauLib.BookIV.Electroweak.WeinbergNLO BookIV Electroweak 0 0
TauLib.BookIV.ManyBody.CondensedMatter BookIV ManyBody 0 0
TauLib.BookIV.ManyBody.DefectFunctionalExt BookIV ManyBody 0 0
TauLib.BookIV.ManyBody.DefectFunctionalExt2 BookIV ManyBody 0 0
TauLib.BookIV.ManyBody.FluidRegimes BookIV ManyBody 0 0
TauLib.BookIV.ManyBody.Magnetism BookIV ManyBody 0 0
TauLib.BookIV.ManyBody.NFLBoundary BookIV ManyBody 0 0
TauLib.BookIV.MassDerivation.BreathingModes BookIV MassDerivation 0 0
TauLib.BookIV.MassDerivation.ElectronMass BookIV MassDerivation 0 0
TauLib.BookIV.MassDerivation.HolonomyDetail BookIV MassDerivation 0 0
TauLib.BookIV.Particles.BetaDecay BookIV Particles 0 0
TauLib.BookIV.Particles.HadronsNuclei BookIV Particles 0 0
TauLib.BookIV.Particles.PeriodicTable BookIV Particles 0 0
TauLib.BookIV.Particles.SectorAtlas BookIV Particles 0 0
TauLib.BookIV.Particles.SpectrumComplete BookIV Particles 0 0
TauLib.BookIV.Particles.StrongCP BookIV Particles 0 0
TauLib.BookIV.Particles.ThreeGenerations BookIV Particles 0 0
TauLib.BookIV.Physics.DefectFunctional BookIV Physics 0 0
TauLib.BookIV.Physics.HolonomyCorrection BookIV Physics 0 0
TauLib.BookIV.Physics.InternalEquations BookIV Physics 0 0
TauLib.BookIV.Physics.LemniscateCapacity BookIV Physics 0 0
TauLib.BookIV.Physics.MassEnergy BookIV Physics 0 0
TauLib.BookIV.Physics.NucleonMassSplitting BookIV Physics 0 0
TauLib.BookIV.Physics.PlanckCharacter BookIV Physics 0 0
TauLib.BookIV.Physics.QuantityFramework BookIV Physics 0 0
TauLib.BookIV.Physics.ReadoutFunctor BookIV Physics 0 0
TauLib.BookIV.Physics.Thermodynamics BookIV Physics 0 0
TauLib.BookIV.Physics.TickUnits BookIV Physics 0 0
TauLib.BookIV.QuantumMechanics.AddressObstruction BookIV QuantumMechanics 0 0
TauLib.BookIV.QuantumMechanics.CRAddressSpace BookIV QuantumMechanics 0 0
TauLib.BookIV.QuantumMechanics.EnergyEntropy BookIV QuantumMechanics 0 0
TauLib.BookIV.QuantumMechanics.HilbertSpace BookIV QuantumMechanics 0 0
TauLib.BookIV.QuantumMechanics.Measurement BookIV QuantumMechanics 0 0
TauLib.BookIV.QuantumMechanics.Quantization BookIV QuantumMechanics 0 0
TauLib.BookIV.QuantumMechanics.QuantumCharacters BookIV QuantumMechanics 0 0
TauLib.BookIV.Sectors.BoundaryFiltration BookIV Sectors 0 0
TauLib.BookIV.Sectors.CouplingFormulas BookIV Sectors 0 0
TauLib.BookIV.Sectors.FineStructure BookIV Sectors 0 0
TauLib.BookIV.Sectors.ModeCensus BookIV Sectors 0 0
TauLib.BookIV.Sectors.SectorParameters BookIV Sectors 0 0
TauLib.BookIV.Sectors.SpectralPage BookIV Sectors 0 0
TauLib.BookIV.Strong.ColorHolonomy BookIV Strong 0 0
TauLib.BookIV.Strong.Confinement BookIV Strong 0 0
TauLib.BookIV.Strong.GapMetaTheorem BookIV Strong 0 0
TauLib.BookIV.Strong.QuarksGluons BookIV Strong 0 0
TauLib.BookIV.Strong.StrongCoupling BookIV Strong 0 0
TauLib.BookIV.Strong.StrongVacuum BookIV Strong 0 0
TauLib.BookIV.Strong.VacuumCatastrophe BookIV Strong 0 0
TauLib.BookIV.Strong.YangMillsGap BookIV Strong 0 0
TauLib.BookV BookV Root 0 0
TauLib.BookV.Astrophysics.AccretionJets BookV Astrophysics 0 0
TauLib.BookV.Astrophysics.BinaryMergersGW BookV Astrophysics 0 0
TauLib.BookV.Astrophysics.BulletClusterLSS BookV Astrophysics 0 0
TauLib.BookV.Astrophysics.ClassicalIllusion BookV Astrophysics 0 0
TauLib.BookV.Astrophysics.CompactObjects BookV Astrophysics 0 0
TauLib.BookV.Astrophysics.EHTReread BookV Astrophysics 0 0
TauLib.BookV.Astrophysics.GalaxyRelational BookV Astrophysics 0 0
TauLib.BookV.Astrophysics.H0TensionLCDM BookV Astrophysics 0 0
TauLib.BookV.Astrophysics.KeplerSolarSystem BookV Astrophysics 0 0
TauLib.BookV.Astrophysics.RotationCurves BookV Astrophysics 0 0
TauLib.BookV.Astrophysics.SectorExhaustion BookV Astrophysics 0 0
TauLib.BookV.Astrophysics.Supernovae BookV Astrophysics 0 0
TauLib.BookV.Coda.BridgeToLife BookV Coda 0 0
TauLib.BookV.Coda.CalibrationChain BookV Coda 0 0
TauLib.BookV.Coda.ConstantsLedger BookV Coda 0 0
TauLib.BookV.Coda.GAlphaBridge BookV Coda 0 0
TauLib.BookV.Coda.HermeticClosure BookV Coda 0 0
TauLib.BookV.Cosmology.BBNBaryogenesis BookV Cosmology 0 0
TauLib.BookV.Cosmology.BBNNuclearNetwork BookV Cosmology 0 0
TauLib.BookV.Cosmology.BHBipolarFusion BookV Cosmology 0 0
TauLib.BookV.Cosmology.BHBirthTopology BookV Cosmology 0 0
TauLib.BookV.Cosmology.BaryogenesisAsymmetry BookV Cosmology 0 0
TauLib.BookV.Cosmology.BigBangRegime BookV Cosmology 0 0
TauLib.BookV.Cosmology.BoundaryUnification BookV Cosmology 0 0
TauLib.BookV.Cosmology.CMBSpectrum BookV Cosmology 0 0
TauLib.BookV.Cosmology.CosmologicalEndstate BookV Cosmology 0 0
TauLib.BookV.Cosmology.FalsificationPack BookV Cosmology 0 0
TauLib.BookV.Cosmology.GlobalFiniteness BookV Cosmology 0 0
TauLib.BookV.Cosmology.HeliumFraction BookV Cosmology 0 0
TauLib.BookV.Cosmology.InflationRegime BookV Cosmology 0 0
TauLib.BookV.Cosmology.MergerNormalForm BookV Cosmology 0 0
TauLib.BookV.Cosmology.NeutrinoBackground BookV Cosmology 0 0
TauLib.BookV.Cosmology.NoShrinkExtended BookV Cosmology 0 0
TauLib.BookV.Cosmology.Reionization BookV Cosmology 0 0
TauLib.BookV.Cosmology.ThresholdLadder BookV Cosmology 0 0
TauLib.BookV.FluidMacro.ChargeObstruction BookV FluidMacro 0 0
TauLib.BookV.FluidMacro.NavierStokesMacro BookV FluidMacro 0 0
TauLib.BookV.FluidMacro.PhaseTransitions BookV FluidMacro 0 0
TauLib.BookV.FluidMacro.TauAlfven BookV FluidMacro 0 0
TauLib.BookV.FluidMacro.TauMHD BookV FluidMacro 0 0
TauLib.BookV.FluidMacro.TauPlasma BookV FluidMacro 0 0
TauLib.BookV.FluidMacro.Turbulence BookV FluidMacro 0 0
TauLib.BookV.Gravity.BHTopoModes BookV Gravity 0 0
TauLib.BookV.Gravity.CoRotorCoupling BookV Gravity 0 0
TauLib.BookV.Gravity.EinsteinEquation BookV Gravity 0 0
TauLib.BookV.Gravity.GravitationalConstant BookV Gravity 0 0
TauLib.BookV.Gravity.Schwarzschild BookV Gravity 0 0
TauLib.BookV.GravityField.BipolarHolonomy BookV GravityField 0 0
TauLib.BookV.GravityField.CalibrationTriangle BookV GravityField 0 0
TauLib.BookV.GravityField.ClosingIdentity BookV GravityField 0 0
TauLib.BookV.GravityField.ExponentDerivation BookV GravityField 0 0
TauLib.BookV.GravityField.FrameHolonomy BookV GravityField 0 0
TauLib.BookV.GravityField.LinearEinstein BookV GravityField 0 0
TauLib.BookV.GravityField.LorentzNoMinkowski BookV GravityField 0 0
TauLib.BookV.GravityField.NonlinearEinstein BookV GravityField 0 0
TauLib.BookV.GravityField.TOVPhaseBoundary BookV GravityField 0 0
TauLib.BookV.GravityField.TOVStarBuilder BookV GravityField 0 0
TauLib.BookV.GravityField.TauEinsteinEq BookV GravityField 0 0
TauLib.BookV.GravityField.TauSchwarzschild BookV GravityField 0 0
TauLib.BookV.GravityField.TauSchwarzschildScale BookV GravityField 0 0
TauLib.BookV.Orthodox.CorrespondenceMap BookV Orthodox 0 0
TauLib.BookV.Orthodox.EmergentGeometry BookV Orthodox 0 0
TauLib.BookV.Orthodox.FalsifiableSeams BookV Orthodox 0 0
TauLib.BookV.Orthodox.MeasurementUnification BookV Orthodox 0 0
TauLib.BookV.Orthodox.OtherApproaches BookV Orthodox 0 0
TauLib.BookV.Prologue.ExportContract BookV Prologue 0 0
TauLib.BookV.Prologue.HermeticPrinciple BookV Prologue 0 0
TauLib.BookV.Temporal.BaseCircle BookV Temporal 0 0
TauLib.BookV.Temporal.BoundaryData BookV Temporal 0 0
TauLib.BookV.Temporal.CosmicAPI BookV Temporal 0 0
TauLib.BookV.Temporal.DistanceLadder BookV Temporal 0 0
TauLib.BookV.Temporal.HighEnergy BookV Temporal 0 0
TauLib.BookV.Temporal.MacroReadout BookV Temporal 0 0
TauLib.BookV.Temporal.TemporalIgnition BookV Temporal 0 0
TauLib.BookV.Thermodynamics.DarkEnergyArtifact BookV Thermodynamics 0 0
TauLib.BookV.Thermodynamics.DefectExhaustion BookV Thermodynamics 0 0
TauLib.BookV.Thermodynamics.EntropySplitting BookV Thermodynamics 0 0
TauLib.BookV.Thermodynamics.HeatEM BookV Thermodynamics 0 0
TauLib.BookV.Thermodynamics.Inversion BookV Thermodynamics 0 0
TauLib.BookV.Thermodynamics.VacuumNoVoid BookV Thermodynamics 0 0
TauLib.BookVI BookVI Root 0 0
TauLib.BookVI.Agency.AgencySector BookVI Agency 0 0
TauLib.BookVI.Agency.MetabolicEnergy BookVI Agency 0 0
TauLib.BookVI.Closure.ClosureSector BookVI Closure 0 0
TauLib.BookVI.Closure.Ecosystem BookVI Closure 0 0
TauLib.BookVI.Consumer.ConsumerMixer BookVI Consumer 0 0
TauLib.BookVI.Consumer.Evolution BookVI Consumer 0 0
TauLib.BookVI.Consumer.FiberRegime BookVI Consumer 0 0
TauLib.BookVI.Consumer.Identity BookVI Consumer 0 0
TauLib.BookVI.Consumer.Immune BookVI Consumer 0 0
TauLib.BookVI.Consumer.Neural BookVI Consumer 0 0
TauLib.BookVI.Consumer.Reproduction BookVI Consumer 0 0
TauLib.BookVI.CosmicLife.BHDist BookVI CosmicLife 0 0
TauLib.BookVI.CosmicLife.BHSelfDesc BookVI CosmicLife 0 0
TauLib.BookVI.CosmicLife.CrossLimit BookVI CosmicLife 0 0
TauLib.BookVI.CosmicLife.GalaxyBasin BookVI CosmicLife 0 0
TauLib.BookVI.LifeCore.Distinction BookVI LifeCore 0 0
TauLib.BookVI.LifeCore.LayerSep BookVI LifeCore 0 0
TauLib.BookVI.LifeCore.ParityBridge BookVI LifeCore 0 0
TauLib.BookVI.LifeCore.SelfDesc BookVI LifeCore 0 0
TauLib.BookVI.Mind.Bridge BookVI Mind 0 0
TauLib.BookVI.Mind.Consciousness BookVI Mind 0 0
TauLib.BookVI.Persistence.PersistenceSector BookVI Persistence 0 0
TauLib.BookVI.Persistence.TemporalLemniscate BookVI Persistence 0 0
TauLib.BookVI.Sectors.Absence BookVI Sectors 0 0
TauLib.BookVI.Sectors.FourPlusOne BookVI Sectors 0 0
TauLib.BookVI.Sectors.Hallmarks BookVI Sectors 0 0
TauLib.BookVI.Sectors.LifeLoop BookVI Sectors 0 0
TauLib.BookVI.Source.Epigenetics BookVI Source 0 0
TauLib.BookVI.Source.GeneticCode BookVI Source 0 0
TauLib.BookVI.Source.SourceSector BookVI Source 0 0
TauLib.BookVII BookVII Root 0 0
TauLib.BookVII.Ethics.CIProof BookVII Ethics 0 0
TauLib.BookVII.Final.Boundary BookVII Final 0 0
TauLib.BookVII.Logos.Sector BookVII Logos 0 0
TauLib.BookVII.Meta.Archetypes BookVII Meta 0 0
TauLib.BookVII.Meta.Commitment BookVII Meta 0 0
TauLib.BookVII.Meta.Registers BookVII Meta 0 0
TauLib.BookVII.Meta.Saturation BookVII Meta 0 0
TauLib.BookVII.Social.Ontology BookVII Social 0 0
TauLib.Meta.PrintAxioms Core Root 0 0
TauLib.Tour.CentralTheorem Tour Root 0 0
TauLib.Tour.Foundations Tour Root 0 0
TauLib.Tour.GuidedTour.BookI Tour Root 0 0
TauLib.Tour.GuidedTour.BookII Tour Root 0 0
TauLib.Tour.GuidedTour.BookIII Tour Root 0 0
TauLib.Tour.GuidedTour.BookIV Tour Root 0 0
TauLib.Tour.GuidedTour.BookV Tour Root 0 0
TauLib.Tour.GuidedTour.BookVI Tour Root 0 0
TauLib.Tour.GuidedTour.BookVII Tour Root 0 0
TauLib.Tour.LifeFromPhysics Tour Root 0 0
TauLib.Tour.MillenniumProblems Tour Root 0 0
TauLib.Tour.MindAndEthics Tour Root 0 0
TauLib.Tour.OneConstant Tour Root 0 0
TauLib.Tour.Physics Tour Root 0 0
TauLib.Tour.VerifyItYourself Tour Root 0 0

Projection Boundary

TauLib checks formal proof obligations where they are represented in Lean. It does not, by itself, settle bridge adequacy, empirical truth, semantic correspondence, or external acceptance. Those questions remain owned by the broader Verify lane.

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert