/agda

The theory of algebraic graphs formalised in Agda

Primary LanguageAgdaMIT LicenseMIT

Stargazers