有人可以将我指向Coq中的图论库，随时可以使用它来检查图是否为循环图。如果没有上述实现，则也可以使用具有顶点度和连接性的库。我一直在探索包含以下链接的库，这些链接还具有图形实现和连接性，我找不到循环图或与顶点相关的实现程度的检查。
TOC of library
Project Homepage of library
对https://hal.inria.fr/hal-02167236中的循环检测算法进行了明确的研究>
有几个有趣的方面：1 /这是对使用可变存储器的算法的研究，2 /研究还包括对执行成本的分析。