[isabelle] First day with HOL/Isabelle

Can HOL/Isabelle be used with graph theory to prove whether a graph is isomorphic?

(I am a first-year math student and start classes next week.  I was installing Python TensorFlow and some libraries led me to HOL/Isabelle).

Thank you for looking at my question above.

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