Stream: Is there code for X?

Topic: Graph isomorphism algorithm

view this post on Zulip Sage Binder (Jul 12 2025 at 23:55):

Hi,

I am wondering if there is a verified graph isomorphism algorithm on the AFP.

I came across some papers that seem to involve algorithms for isomorphism checking (https://isabelle.in.tum.de/~nipkow/pubs/itp11.pdf, https://pmc.ncbi.nlm.nih.gov/articles/PMC7324030/), but could not find these developments on the AFP.

I am also aware of https://github.com/mabdula/Isabelle-Graph-Library, but did not see an isomorphism algorithm there.

Last updated: Jul 13 2025 at 16:26 UTC