zk⁷ e568dfe54b | ||
---|---|---|
Graph | ||
Graph.agda | ||
LICENSE | ||
README.md |
README.md
algebraic-graphs
Algebraic graphs with Agda
zk⁷ e568dfe54b | ||
---|---|---|
Graph | ||
Graph.agda | ||
LICENSE | ||
README.md |
Algebraic graphs with Agda