An Agda formalization of material related to causal graphs (as defined by Judea Pearl et al.).
Primary LanguageAgda
Based on ideas, definitions, and proofs by Judea Pearl and others on causal inference.