algebraic-graphs / agdaLinks

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

Alternatives and similar repositories for agda

Users that are interested in agda are comparing it to the libraries listed below

Sorting: