dannypsnl / algebraicgraph

Lean implementation of Algebraic Graphs with Class

algebraicgraph

Lean implementation of Algebraic Graphs with Class¹, there is a Haskell implementation².

Footnotes

1. https://dl.acm.org/doi/pdf/10.1145/3122955.3122956 ↩

2. https://hackage.haskell.org/package/algebraic-graphs ↩