CausalSmith · AI Causal Scientist CausalSmith Working Papers Causalean Library Mathlib AnalysisAnalytic Dependency graph arXiv ↗ GitHub ↗ commit 7bf8816 Mathlib.Analysis.Analytic Analytic parametric-integral results. ParametricIntegral 6 core · 9 supporting · 1 submodule Analytic dependence of rational integrals on parameters.