Add files using upload-large-folder tool

.gitattributes

@@ -4390,3 +4390,4 @@ backend/core/leanprover--lean4---v4.22.0/lib/lean/Std/Data/HashSet/Raw.olean fil
 external/alphageometry/.venv-ag/Lib/site-packages/numpy.libs/libscipy_openblas64_-13e2df515630b4a41f92893938845698.dll filter=lfs diff=lfs merge=lfs -text
 external/alphageometry/.venv-ag/Lib/site-packages/numpy.libs/msvcp140-263139962577ecda4cd9469ca360a746.dll filter=lfs diff=lfs merge=lfs -text
 external/alphageometry/.venv-ag/Lib/site-packages/scipy/stats/_sobol_direction_numbers.npz filter=lfs diff=lfs merge=lfs -text
+external/alphageometry/.venv-ag/Lib/site-packages/matplotlib/mpl-data/fonts/ttf/DejaVuSans-Oblique.ttf filter=lfs diff=lfs merge=lfs -text

backend/core/leanprover--lean4---v4.22.0/src/lean/Std/Data/Iterators/Lemmas/Producers/Monadic/Empty.lean

@@ -0,0 +1,62 @@
+/-
+Copyright (c) 2025 Lean FRO, LLC. All rights reserved.
+Released under Apache 2.0 license as described in the file LICENSE.
+Authors: Paul Reichert
+-/
+prelude
+import Std.Data.Iterators.Producers.Monadic.Empty
+import Init.Data.Iterators.Lemmas.Consumers.Monadic
+import Init.Data.Iterators.Lemmas.Consumers.Monadic.Loop
+
+namespace Std.Iterators
+
+@[simp]
+theorem IterM.step_empty {m β} [Monad m] :
+    (IterM.empty m β).step = pure ⟨.done, rfl⟩ :=
+  rfl
+
+@[simp]
+theorem IterM.toList_empty {m β} [Monad m] [LawfulMonad m] :
+    (IterM.empty m β).toList = pure [] := by
+  rw [toList_eq_match_step]
+  simp
+
+@[simp]
+theorem IterM.toListRev_empty {m β} [Monad m] [LawfulMonad m] :
+    (IterM.empty m β).toListRev = pure [] := by
+  rw [toListRev_eq_match_step]
+  simp
+
+@[simp]
+theorem IterM.toArray_empty {m β} [Monad m] [LawfulMonad m] :
+    (IterM.empty m β).toArray = pure #[] := by
+  rw [toArray_eq_match_step]
+  simp
+
+@[simp]
+theorem IterM.forIn_empty {m n β γ} [Monad m] [LawfulMonad m]
+    [Monad n] [LawfulMonad n] [MonadLiftT m n] [LawfulMonadLiftT m n]
+    {init : γ} {f} :
+    ForIn.forIn (m := n) (IterM.empty m β) init f = pure init := by
+  rw [IterM.forIn_eq_match_step]
+  simp
+
+@[simp]
+theorem IterM.foldM_empty {m n β γ} [Monad m] [LawfulMonad m]
+    [Monad n] [LawfulMonad n] [MonadLiftT m n] [LawfulMonadLiftT m n]
+    {init : γ} {f} :
+    (IterM.empty m β).foldM (n := n) (init := init) f = pure init := by
+  simp [IterM.foldM_eq_forIn]
+
+@[simp]
+theorem IterM.fold_empty {m β γ} [Monad m] [LawfulMonad m]
+    {init : γ} {f} :
+    (IterM.empty m β).fold (init := init) f = pure init := by
+  simp [IterM.fold_eq_foldM]
+
+@[simp]
+theorem IterM.drain_empty {m β} [Monad m] [LawfulMonad m] :
+    (IterM.empty m β).drain = pure .unit := by
+  simp [IterM.drain_eq_fold]
+
+end Std.Iterators

backend/core/leanprover--lean4---v4.22.0/src/lean/Std/Data/Iterators/Lemmas/Producers/Monadic/List.lean

@@ -0,0 +1,95 @@
+/-
+Copyright (c) 2025 Lean FRO, LLC. All rights reserved.
+Released under Apache 2.0 license as described in the file LICENSE.
+Authors: Paul Reichert
+-/
+prelude
+import Init.Data.Iterators.Consumers
+import Init.Data.Iterators.Lemmas.Consumers.Monadic
+import Init.Data.Iterators.Internal.LawfulMonadLiftFunction
+import Std.Data.Iterators.Producers.Monadic.List
+import Std.Data.Iterators.Lemmas.Equivalence.Basic
+
+/-!
+# Lemmas about list iterators
+
+This module provides lemmas about the interactions of `List.iterM` with `IterM.step` and various
+collectors.
+-/
+
+namespace Std.Iterators
+open Std.Internal
+
+variable {m : Type w → Type w'} {n : Type w → Type w''} [Monad m] {β : Type w}
+
+@[simp]
+theorem _root_.List.step_iterM_nil :
+    (([] : List β).iterM m).step = pure ⟨.done, rfl⟩ := by
+  simp only [IterM.step, Iterator.step]; rfl
+
+@[simp]
+theorem _root_.List.step_iterM_cons {x : β} {xs : List β} :
+    ((x :: xs).iterM m).step = pure ⟨.yield (xs.iterM m) x, rfl⟩ := by
+  simp only [List.iterM, IterM.step, Iterator.step]; rfl
+
+theorem _root_.List.step_iterM {l : List β} :
+    (l.iterM m).step = match l with
+      | [] => pure ⟨.done, rfl⟩
+      | x :: xs => pure ⟨.yield (xs.iterM m) x, rfl⟩ := by
+  cases l <;> simp [List.step_iterM_cons, List.step_iterM_nil]
+
+theorem ListIterator.toArrayMapped_iterM [Monad n] [LawfulMonad n]
+    {β : Type w} {γ : Type w} {lift : ⦃δ : Type w⦄ → m δ → n δ}
+    [LawfulMonadLiftFunction lift] {f : β → n γ} {l : List β} :
+    IteratorCollect.toArrayMapped lift f (l.iterM m) (m := m) = List.toArray <$> l.mapM f := by
+  rw [LawfulIteratorCollect.toArrayMapped_eq]
+  induction l with
+  | nil =>
+    rw [IterM.DefaultConsumers.toArrayMapped_eq_match_step]
+    simp [List.step_iterM_nil, LawfulMonadLiftFunction.lift_pure]
+  | cons x xs ih =>
+    rw [IterM.DefaultConsumers.toArrayMapped_eq_match_step]
+    simp [List.step_iterM_cons, List.mapM_cons, pure_bind, ih, LawfulMonadLiftFunction.lift_pure]
+
+@[simp]
+theorem _root_.List.toArray_iterM [LawfulMonad m] {l : List β} :
+    (l.iterM m).toArray = pure l.toArray := by
+  simp only [IterM.toArray, ListIterator.toArrayMapped_iterM]
+  rw [List.mapM_pure, map_pure, List.map_id']
+
+@[simp]
+theorem _root_.List.toList_iterM [LawfulMonad m] {l : List β} :
+    (l.iterM m).toList = pure l := by
+  rw [← IterM.toList_toArray, List.toArray_iterM, map_pure, List.toList_toArray]
+
+@[simp]
+theorem _root_.List.toListRev_iterM [LawfulMonad m] {l : List β} :
+    (l.iterM m).toListRev = pure l.reverse := by
+  simp [IterM.toListRev_eq, List.toList_iterM]
+
+section Equivalence
+
+-- We don't want to pollute `List` with this rarely used lemma.
+theorem ListIterator.stepAsHetT_iterM [LawfulMonad m] {l : List β} :
+    (l.iterM m).stepAsHetT = (match l with
+      | [] => pure .done
+      | x :: xs => pure (.yield (xs.iterM m) x)) := by
+  simp only [List.iterM, toIterM, HetT.ext_iff, Equivalence.property_step, IterM.IsPlausibleStep,
+    Iterator.IsPlausibleStep, Equivalence.prun_step]
+  refine ⟨?_, ?_⟩
+  · ext step
+    cases step
+    · cases l
+      · simp [Pure.pure]
+      · simp only [List.cons.injEq, pure, HetT.property_pure, IterStep.yield.injEq, IterM.ext_iff,
+        ListIterator.ext_iff]
+        exact And.comm
+    · cases l <;> simp [Pure.pure]
+    · cases l <;> simp [Pure.pure]
+  · intro β f
+    simp only [IterM.step, Iterator.step, pure_bind]
+    cases l <;> simp [Pure.pure, toIterM]
+
+end Equivalence
+
+end Std.Iterators

external/alphageometry/.venv-ag/Lib/site-packages/jax/scipy/__init__.py

@@ -0,0 +1,47 @@
+# Copyright 2018 The JAX Authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+# Note: import <name> as <name> is required for names to be exported.
+# See PEP 484 & https://github.com/google/jax/issues/7570
+
+from typing import TYPE_CHECKING
+
+if TYPE_CHECKING:
+  from jax.scipy import interpolate as interpolate
+  from jax.scipy import linalg as linalg
+  from jax.scipy import ndimage as ndimage
+  from jax.scipy import signal as signal
+  from jax.scipy import sparse as sparse
+  from jax.scipy import special as special
+  from jax.scipy import stats as stats
+  from jax.scipy import fft as fft
+  from jax.scipy import cluster as cluster
+  from jax.scipy import integrate as integrate
+else:
+  import jax._src.lazy_loader as _lazy
+  __getattr__, __dir__, __all__ = _lazy.attach(__name__, [
+    "interpolate",
+    "linalg",
+    "ndimage",
+    "signal",
+    "sparse",
+    "special",
+    "stats",
+    "fft",
+    "cluster",
+    "integrate",
+  ])
+  del _lazy
+
+del TYPE_CHECKING

external/alphageometry/.venv-ag/Lib/site-packages/jax/scipy/cluster/__init__.py

@@ -0,0 +1,18 @@
+# Copyright 2022 The JAX Authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+# Note: import <name> as <name> is required for names to be exported.
+# See PEP 484 & https://github.com/google/jax/issues/7570
+
+from jax.scipy.cluster import vq as vq

external/alphageometry/.venv-ag/Lib/site-packages/jax/scipy/cluster/vq.py

@@ -0,0 +1,18 @@
+# Copyright 2022 The JAX Authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+# Note: import <name> as <name> is required for names to be exported.
+# See PEP 484 & https://github.com/google/jax/issues/7570
+
+from jax._src.scipy.cluster.vq import vq as vq

external/alphageometry/.venv-ag/Lib/site-packages/jax/scipy/interpolate/__init__.py

@@ -0,0 +1,18 @@
+# Copyright 2022 The JAX Authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+# Already deprecate namespaces that will be removed in SciPy v2.0.0
+
+from jax._src.third_party.scipy.interpolate import (
+    RegularGridInterpolator as RegularGridInterpolator)

external/alphageometry/.venv-ag/Lib/site-packages/jax/scipy/optimize/__init__.py

@@ -0,0 +1,21 @@
+# Copyright 2020 The JAX Authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+# Note: import <name> as <name> is required for names to be exported.
+# See PEP 484 & https://github.com/google/jax/issues/7570
+
+from jax._src.scipy.optimize.minimize import (
+  minimize as minimize,
+  OptimizeResults as OptimizeResults,
+)

external/alphageometry/.venv-ag/Lib/site-packages/jax/scipy/sparse/__init__.py

@@ -0,0 +1,18 @@
+# Copyright 2020 The JAX Authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+# Note: import <name> as <name> is required for names to be exported.
+# See PEP 484 & https://github.com/google/jax/issues/7570
+
+from jax.scipy.sparse import linalg as linalg

external/alphageometry/.venv-ag/Lib/site-packages/jax/scipy/sparse/linalg.py

@@ -0,0 +1,22 @@
+# Copyright 2020 The JAX Authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+# Note: import <name> as <name> is required for names to be exported.
+# See PEP 484 & https://github.com/google/jax/issues/7570
+
+from jax._src.scipy.sparse.linalg import (
+  cg as cg,
+  gmres as gmres,
+  bicgstab as bicgstab,
+)

external/alphageometry/.venv-ag/Lib/site-packages/jax/scipy/spatial/__init__.py

@@ -0,0 +1,13 @@
+# Copyright 2023 The JAX Authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.

external/alphageometry/.venv-ag/Lib/site-packages/jax/scipy/spatial/transform.py

@@ -0,0 +1,21 @@
+# Copyright 2023 The JAX Authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+# Note: import <name> as <name> is required for names to be exported.
+# See PEP 484 & https://github.com/google/jax/issues/7570
+
+from jax._src.scipy.spatial.transform import (
+  Rotation as Rotation,
+  Slerp as Slerp,
+)

external/alphageometry/.venv-ag/Lib/site-packages/jax/scipy/stats/bernoulli.py

@@ -0,0 +1,23 @@
+# Copyright 2020 The JAX Authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+# Note: import <name> as <name> is required for names to be exported.
+# See PEP 484 & https://github.com/google/jax/issues/7570
+
+from jax._src.scipy.stats.bernoulli import (
+  logpmf as logpmf,
+  pmf as pmf,
+  cdf as cdf,
+  ppf as ppf
+)

external/alphageometry/.venv-ag/Lib/site-packages/jax/scipy/stats/beta.py

@@ -0,0 +1,25 @@
+# Copyright 2020 The JAX Authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+# Note: import <name> as <name> is required for names to be exported.
+# See PEP 484 & https://github.com/google/jax/issues/7570
+
+from jax._src.scipy.stats.beta import (
+  cdf as cdf,
+  logcdf as logcdf,
+  logpdf as logpdf,
+  logsf as logsf,
+  pdf as pdf,
+  sf as sf,
+)

external/alphageometry/.venv-ag/Lib/site-packages/jax/scipy/stats/betabinom.py

@@ -0,0 +1,21 @@
+# Copyright 2021 The JAX Authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+# Note: import <name> as <name> is required for names to be exported.
+# See PEP 484 & https://github.com/google/jax/issues/7570
+
+from jax._src.scipy.stats.betabinom import (
+  logpmf as logpmf,
+  pmf as pmf,
+)

external/alphageometry/.venv-ag/Lib/site-packages/jax/scipy/stats/binom.py

@@ -0,0 +1,18 @@
+# Copyright 2023 The JAX Authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+from jax._src.scipy.stats.binom import (
+  logpmf as logpmf,
+  pmf as pmf,
+)

external/alphageometry/.venv-ag/Lib/site-packages/jax/scipy/stats/cauchy.py

@@ -0,0 +1,27 @@
+# Copyright 2020 The JAX Authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+# Note: import <name> as <name> is required for names to be exported.
+# See PEP 484 & https://github.com/google/jax/issues/7570
+
+from jax._src.scipy.stats.cauchy import (
+  cdf as cdf,
+  isf as isf,
+  logcdf as logcdf,
+  logpdf as logpdf,
+  logsf as logsf,
+  pdf as pdf,
+  ppf as ppf,
+  sf as sf,
+)

external/alphageometry/.venv-ag/Lib/site-packages/jax/scipy/stats/chi2.py

@@ -0,0 +1,25 @@
+# Copyright 2021 The JAX Authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+# Note: import <name> as <name> is required for names to be exported.
+# See PEP 484 & https://github.com/google/jax/issues/7570
+
+from jax._src.scipy.stats.chi2 import (
+  cdf as cdf,
+  logcdf as logcdf,
+  logpdf as logpdf,
+  logsf as logsf,
+  pdf as pdf,
+  sf as sf,
+)

external/alphageometry/.venv-ag/Lib/site-packages/jax/scipy/stats/dirichlet.py

@@ -0,0 +1,21 @@
+# Copyright 2020 The JAX Authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+# Note: import <name> as <name> is required for names to be exported.
+# See PEP 484 & https://github.com/google/jax/issues/7570
+
+from jax._src.scipy.stats.dirichlet import (
+  logpdf as logpdf,
+  pdf as pdf,
+)

external/alphageometry/.venv-ag/Lib/site-packages/jax/scipy/stats/expon.py

@@ -0,0 +1,21 @@
+# Copyright 2020 The JAX Authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+# Note: import <name> as <name> is required for names to be exported.
+# See PEP 484 & https://github.com/google/jax/issues/7570
+
+from jax._src.scipy.stats.expon import (
+  logpdf as logpdf,
+  pdf as pdf,
+)

external/alphageometry/.venv-ag/Lib/site-packages/matplotlib/mpl-data/fonts/ttf/DejaVuSans-Oblique.ttf

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:ccdf74b350f11fd3dd5774de50e5e6346a1a5da1f5b7d5fb83590665e97a5213
+size 633840