Causalean
Copyright 2026 Jiyuan Tan

This product includes software developed as part of the Causalean project
(https://github.com/Jiyuan-Tan/CausalSmith), a Lean 4 library laying foundations
for the formalization of causal inference, together with the CausalSmith
theorem-generation pipeline.

This software is licensed under the Apache License, Version 2.0 (see LICENSE).

Third-party dependencies retain their own licenses, including:
  - Mathlib (Apache-2.0), leanprover-community

(The upstream NOTICE file additionally lists components of the larger upstream
project that are not vendored here; per Section 4(d) of the Apache License,
notices that do not pertain to any part of this derivative work are omitted.)
