Formalization of the AbstractGraph interface from Graphs.jl, specified using Interfaces.jl. - View it on GitHub