Re: [isabelle] First day with HOL/Isabelle
<trolling>I don't think that Isabelle/HOL can prove that one graph is isomorphic, but Isabelle/HOL may be able to prove that two graphs are isomorphic or that any graph is isomorphic to itself.</trolling>
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