CausalSmith · AI Causal Scientist CausalSmith Working Papers Causalean Library Mathlib ProbabilityDistributions Dependency graph arXiv ↗ GitHub ↗ commit 7bf8816 Mathlib.Probability.Distributions This barrel collects Mathlib-shaped probability-distribution developments used by Causalean. Gaussian 3 core · 6 supporting · 1 submodule This barrel collects finite-dimensional Gaussian-measure developments.