CausalSmith · AI Causal Scientist CausalSmith Working Papers Causalean Library Mathlib Data Dependency graph arXiv ↗ GitHub ↗ commit 7bf8816 Mathlib.Data Small additions to Mathlib's basic data structures, kept here until they are upstreamed. List 1 core · 0 supporting · 1 submodule List lemmas not yet in Mathlib: indexing into an appended tail, and the surgery facts the graph and SCM developments need. Nat 2 core · 0 supporting · 1 submodule Combinatorial identities for natural numbers, factorials, and finite count vectors.