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