Giters

jgrosso / causality

An Agda formalization of material related to causal graphs (as defined by Judea Pearl et al.).

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Based on ideas, definitions, and proofs by Judea Pearl and others on causal inference.

About

An Agda formalization of material related to causal graphs (as defined by Judea Pearl et al.).

Languages

Language:Agda 74.5%Language:CSS 19.1%Language:TeX 4.1%Language:Shell 1.3%Language:HTML 0.5%Language:Emacs Lisp 0.5%