Re: [isabelle] First day with HOL/Isabelle
On Sat Feb 20, 2021 at 6:24 PM CET, McCue, Brian wrote:
> Can HOL/Isabelle be used with graph theory to prove whether a graph is isomorphic?
there is a formalization of some aspects of graph theory available here:
In particular, isomorphisms are defined for directed graphs in section
11 of the proof document (theory Digraph_Isomorphism). You can also use
it for undirected graphs by ensuring all edges are bidirectional.
This archive was generated by a fusion of
Pipermail (Mailman edition) and