Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

Liatris

Project information

Formalization of graphs in Agda with focus on graphs for studying causality

Agda causal-infer...

84 Commits
9 Branches
0 Tags

README

Created on

August 29, 2024

Copy SSH clone URLgit@gitlab.com:bsaul/liatris.git
Copy HTTPS clone URLhttps://gitlab.com/bsaul/liatris.git

Loading