[
  {
    "name": "Causalean",
    "public_git": "https://github.com/Jiyuan-Tan/CausalSmith",
    "public_rev": "a7085d88d2e4b30003db7097ca374f4718da0f01",
    "uncommitted": 0,
    "local_rev": "5ca94e0ac38754182d381fd21a4dd3df3b3fa0c1",
    "files": {
      "Causalean/Graph/DAG.lean": "105964a83267617073eb2fb77788eb7f918f9c0d",
      "Causalean/Mathlib/AlgebraicGeometry/Dimension/PolynomialMap/AffineSpaceDimension.lean": "7c39c675cdac48300547a22da76589736868d093",
      "Causalean/Mathlib/AlgebraicGeometry/Dimension/PolynomialMap/ChainDimension.lean": "483f0c6bae498e69dba59335d4d8f1933c881ce4",
      "Causalean/Mathlib/AlgebraicGeometry/Dimension/PolynomialMap/CoordinateRing.lean": "2fa113722d8c1ffdfe9a8e7ab01890b2d31a2304",
      "Causalean/Mathlib/AlgebraicGeometry/Dimension/PolynomialMap/Definitions.lean": "6c5bc96a7c40b7bebe29a3daa23f2aa03e0b4b95",
      "Causalean/Mathlib/AlgebraicGeometry/Dimension/PolynomialMap/Irreducibility.lean": "5aea0b6e8e458950295a04c9cbac2fae2cb96b9e",
      "Causalean/Mathlib/AlgebraicGeometry/Dimension/PolynomialMap/Jacobian.lean": "7a19fafac99b23969c0efea59dc0379bd1ef6228",
      "Causalean/Mathlib/AlgebraicGeometry/Dimension/PolynomialMap/Transcendence.lean": "5436e9efe21665ab71446e4d0bfec490d25b75e7",
      "Causalean/Mathlib/AlgebraicGeometry/Dimension/PolynomialMap/ZariskiClosure.lean": "9dc056b219f2b5a4af6026cded58c41ecc705990",
      "Causalean/Mathlib/Analysis/Approximation/Chebyshev/CosineProjection/Definitions.lean": "205e444ec2ac2aec087de742992595bb753a0977",
      "Causalean/Mathlib/Analysis/IntervalArithmetic/API.lean": "5f4daef50e616c04a7f94bc69e4d8e7b83ca9d3d",
      "Causalean/Mathlib/Analysis/IntervalArithmetic/Basic.lean": "9e25852a36da683569e624ee9fed4c2dceeaf0b8",
      "Causalean/Mathlib/Analysis/IntervalArithmetic/CertifiedReal.lean": "c1a350a9fe23b58b90fefefb160dd268114b1af4",
      "Causalean/Mathlib/Analysis/IntervalArithmetic/Contour/Basic.lean": "00d6d1c1f84d937ce4a5460a4a39bceee800f338",
      "Causalean/Mathlib/Analysis/IntervalArithmetic/Exponential.lean": "37b04f330edbde0d94294963ca6bbf68f6ae73cd",
      "Causalean/Mathlib/Analysis/IntervalArithmetic/FiniteLinearAlgebra.lean": "2bb9a6904e7523d3c677ff93fd2ddf3761c2f482",
      "Causalean/Mathlib/Analysis/IntervalArithmetic/FiniteSearch.lean": "284e464c3078818a1c9beb4491f905b63e6776d8",
      "Causalean/Mathlib/Analysis/IntervalArithmetic/Logarithm.lean": "56813e438582050f5835ca2aae37e5110b67f91e",
      "Causalean/Mathlib/Analysis/IntervalArithmetic/Mesh.lean": "939af4ac3d945c7ab2752c93e9a2f77124f38594",
      "Causalean/Mathlib/Analysis/IntervalArithmetic/Operations.lean": "fe931ac5545de4e926cdd912d2d977b56f87b8fa",
      "Causalean/Mathlib/Analysis/IntervalArithmetic/Quadrature.lean": "8f6db933f895d9257d38b2faed3838a7ff74592b",
      "Causalean/Mathlib/Analysis/PiecewiseLipschitz.lean": "282f29c3f3a9ebb59211282590958991513c2d4d",
      "Causalean/Mathlib/InformationTheory/Entropy.lean": "68597e8810b3867906975b78631a9a31afb8eab1",
      "Causalean/Mathlib/MeasureTheory/CondExpPreimage.lean": "ecf7fbdeed280d9676c593b3dc13448335d0dc44",
      "Causalean/Mathlib/MeasureTheory/FiniteAtomicMeasure.lean": "35208678bfee0fdaee30822a646e14c4d4152d88",
      "Causalean/Mathlib/Probability/Certified/FiniteKernel.lean": "23aecc48b75743043f7d3f652a09df70ddd08ab0",
      "Causalean/Mathlib/Probability/FiniteMarkovOscillation.lean": "b0757f55cef8ab4ba76df5f22308a152cd80508b",
      "Causalean/Mathlib/Probability/FinitePartitionConditional.lean": "6a5d915fa423e11a5ed0e903acac17f26eb6ea02",
      "Causalean/Mathlib/Topology/SpaceFillingCurve/ChildPaths.lean": "04266ac52e2a867e02f2d6680528539ab2bbfae1",
      "Causalean/Mathlib/Topology/SpaceFillingCurve/CubeCover.lean": "e16c7806180c067632f893e525769024cf734325",
      "Causalean/Mathlib/Topology/SpaceFillingCurve/CubeInverse.lean": "61c6162573ef3507b5756538d9237037ed815eaa",
      "Causalean/Mathlib/Topology/SpaceFillingCurve/CubeProximity.lean": "280146d1c3ec4bb9cf91d206dc288ffb669d5622",
      "Causalean/Mathlib/Topology/SpaceFillingCurve/CurveCells.lean": "a0a4a91d87d0bf3ebdfc481af5982fe474709801",
      "Causalean/Mathlib/Topology/SpaceFillingCurve/CurveGeometry.lean": "5d84d547cdb609be4ec989e71117edfdb6bba137",
      "Causalean/Mathlib/Topology/SpaceFillingCurve/DyadicScale.lean": "4b5bff62468431f047444e3536daaa03a7ab6609",
      "Causalean/Mathlib/Topology/SpaceFillingCurve/FiniteTraversal.lean": "765030ed112f96417a0759fe85c70ef21875a416",
      "Causalean/Mathlib/Topology/SpaceFillingCurve/GateChain.lean": "fed88ce8dbf8ff6e63fdebe559fa463f802b9671",
      "Causalean/Mathlib/Topology/SpaceFillingCurve/GateStep.lean": "c435f534c5e20b82b2dd603e640666a248baa66f",
      "Causalean/Mathlib/Topology/SpaceFillingCurve/Gray.lean": "9c94b6fe86540d66da7b12e34f086f2ed559b0c3",
      "Causalean/Mathlib/Topology/SpaceFillingCurve/GrayBijection.lean": "8d712e8f1ffc9d8312981d5ec129eb01f8e6aedf",
      "Causalean/Mathlib/Topology/SpaceFillingCurve/GrayGates.lean": "14552a675a75d9d47aa7ef80066e371e6066ac1a",
      "Causalean/Mathlib/Topology/SpaceFillingCurve/GridExtension.lean": "16c0644e69b36ab4144a02e17c5a7de2fbb74d1d",
      "Causalean/Mathlib/Topology/SpaceFillingCurve/TimeProximity.lean": "257be7dda6a31aca46e2289b9f3f5b5094c3f6c0",
      "Causalean/Mathlib/Topology/SpaceFillingCurve/Traversal.lean": "fb4a280c10325cb5b02953003e1754174dcbe2fd",
      "Causalean/Mathlib/Topology/SpaceFillingCurve/TraversalCompactness.lean": "57727c537e43112e63d7c7b8a5678e6ea903b671",
      "Causalean/PO/ID/Partial/LP/ConicDuality.lean": "3b07b0dedcc96349a981d58cea716ef199e8e169",
      "Causalean/Stat/Concentration/Covering/CoveringNumber.lean": "ba44ca5e2369a0986c305c0a86e6ff098c8f087b",
      "Causalean/Stat/Concentration/Covering/EmpiricalPseudoMetric.lean": "95bd35386d36befd73389a8c746a9b60a879784f",
      "Causalean/Stat/Concentration/Covering/HausslerPacking.lean": "a8f65ce01d9116969cb81541e2c44c237cc42e32",
      "Causalean/Stat/Concentration/Covering/VCCovering.lean": "c34d17903cad50c9095625aeb42cddea0121e487",
      "Causalean/Stat/Concentration/Rademacher/Rademacher.lean": "1ddd5aea7bab693b80821925d4f6c2226d042721",
      "Causalean/Stat/Concentration/TailBounds/Hoeffding.lean": "5de86130285634ad0b4b1a1576e1a67c15b9cc8e",
      "Causalean/Stat/Concentration/VC/Basic.lean": "500bac671df1a635e4ca0cf8567eb53d34b37bce",
      "Causalean/Stat/Coupling/Basic.lean": "454bf74d83ec9e42c81488dddb410e52b37b5ee3",
      "Causalean/Stat/Minimax/SideInformation/Finite/Concentration.lean": "8cc7f74f4bd043c6fb751005b19fb2935f46c1ec",
      "Causalean/Stat/Minimax/SideInformation/Finite/Coordinates.lean": "487432509e5dedd5d8fd48a7e49194ef4060c257",
      "Causalean/Stat/Minimax/SideInformation/Finite/Selector.lean": "fc7be38db24be6551651fd96a0900fa6e3f1ebfe",
      "Causalean/Stat/Sample.lean": "04083e8b79ea8d0669f52e44dbc37bba46b88d9d",
      "Causalean/Stat/Sample/PiTransport.lean": "9f795270a69f6944b0238c4cc2a6b06562141a84",
      "Causalean/Tactic/Attr.lean": "ea7f7d8d1320b7b0e491af41e84f3acc9d904099",
      "third_party/lean-rademacher/FoML/BoundedDifference.lean": "396f0b5c1038c2c2f363ea1ac02af064b847bfcb",
      "third_party/lean-rademacher/FoML/Defs.lean": "3180eb246d711c3a348d6275aaa3bdd238940fe2",
      "third_party/lean-rademacher/FoML/ExpectationInequalities.lean": "12ffaa025ce711c63e72bda184b4072ee848c4bc",
      "third_party/lean-rademacher/FoML/MeasurePiLemmas.lean": "e5a46bc5e2a396688c33b8ff95be71c01874ff9f",
      "third_party/lean-rademacher/FoML/Rademacher.lean": "eb58fca68e492ea6bcb89f87e743a84647bcfff2",
      "third_party/lean-rademacher/FoML/Symmetrization.lean": "d68c7374d0b33cdf6fbfb50b09fe5188e53dbffd"
    },
    "status": "unverified"
  }
]