algebraic-graphs / agda

The theory of algebraic graphs formalised in Agda
87Updated 6 years ago

Related projects

Alternatives and complementary repositories for agda