[isabelle] Theory of labeled, directed graphs in Isabelle


I'm looking for a graph theory in Isabelle that supports directed graphs
with labeled edges. Has anybody already done such a development or knows
some good pointers on how to model these?

Thank you very much for your help,
Simon Meier

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.